Anne is furry. Anne is red. Anne is round. Anne is not white. Anne is not young. Gary is not furry. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is white. Gary is young. All red people are round. If someone is furry and not red then they are not round. Red, young people are round. If someone is white then they are young. If someone is red and not young then they are rough. All rough people are quiet. If someone is round and red then they are quiet. All young people are quiet.
Anne is furry.
@0: Anne is furry.[(triple1)] Anne is not white.[(triple4)] Anne is not young.[(triple5)] Anne is red.[(triple2)] Anne is round.[(triple3 OR ((triple2) -> rule1))] Gary is not furry.[(triple6)] Gary is quiet.[(triple7 OR ((triple12) -> rule8) OR ((triple9) -> rule6) OR ((triple10 triple8) -> rule7) OR ((((triple11) -> rule4)) -> rule8) OR ((((triple8) -> rule1) triple8) -> rule7) OR ((((triple8 triple12) -> rule3) triple8) -> rule7) OR ((((triple8 ((triple11) -> rule4)) -> rule3) triple8) -> rule7))] Gary is red.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10 OR ((triple8) -> rule1) OR ((triple8 triple12) -> rule3) OR ((triple8 ((triple11) -> rule4)) -> rule3))] Gary is white.[(triple11)] Gary is young.[(triple12 OR ((triple11) -> rule4))] @1: Anne is quiet.[(((triple3 triple2) -> rule7) OR ((((triple2 triple5) -> rule5)) -> rule6) OR ((((triple2) -> rule1) triple2) -> rule7))] Anne is rough.[(((triple2 triple5) -> rule5))]