Anne is red. Charlie is blue. Charlie is white. If someone is red and blue then they are white. All furry, white people are red. All round people are young. Round people are white. If Charlie is furry and Charlie is white then Charlie is rough. All round people are furry. If someone is blue then they are furry. All white, blue people are furry.
Charlie is white.
@0: Anne is red.[(triple1)] Charlie is blue.[(triple2)] Charlie is white.[(triple3)] @1: Charlie is furry.[(((triple2) -> rule7) OR ((triple3 triple2) -> rule8))] @2: Charlie is red.[(((((triple2) -> rule7) triple3) -> rule2) OR ((((triple3 triple2) -> rule8) triple3) -> rule2))] Charlie is rough.[(((((triple2) -> rule7) triple3) -> rule5) OR ((((triple3 triple2) -> rule8) triple3) -> rule5))]