Anne is big. Anne is blue. Anne is furry. Anne is red. Anne is rough. Anne is round. Anne is smart. Charlie is big. Charlie is blue. Gary is big. Gary is blue. Gary is furry. Harry is red. Harry is rough. Harry is smart. If something is furry then it is red. If Harry is rough and Harry is blue then Harry is smart. All big, blue things are red. If something is smart and furry then it is red. If Anne is big then Anne is red. Rough, smart things are furry. Smart, round things are furry. If Anne is blue and Anne is red then Anne is big.
Harry is big.
@0: Anne is big.[(triple1 OR ((triple2 triple4) -> rule8) OR ((triple2 ((triple3) -> rule1)) -> rule8) OR ((triple2 ((triple7 triple3) -> rule4)) -> rule8) OR ((triple2 ((((triple5 triple7) -> rule6)) -> rule1)) -> rule8) OR ((triple2 ((((triple7 triple6) -> rule7)) -> rule1)) -> rule8) OR ((triple2 ((triple7 ((triple5 triple7) -> rule6)) -> rule4)) -> rule8) OR ((triple2 ((triple7 ((triple7 triple6) -> rule7)) -> rule4)) -> rule8))] Anne is blue.[(triple2)] Anne is furry.[(triple3 OR ((triple5 triple7) -> rule6) OR ((triple7 triple6) -> rule7))] Anne is red.[(triple4 OR ((triple1) -> rule5) OR ((triple3) -> rule1) OR ((triple1 triple2) -> rule3) OR ((triple7 triple3) -> rule4) OR ((((triple5 triple7) -> rule6)) -> rule1) OR ((((triple7 triple6) -> rule7)) -> rule1) OR ((triple7 ((triple5 triple7) -> rule6)) -> rule4) OR ((triple7 ((triple7 triple6) -> rule7)) -> rule4))] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is smart.[(triple7)] Charlie is big.[(triple8)] Charlie is blue.[(triple9)] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is furry.[(triple12)] Harry is red.[(triple13 OR ((((triple14 triple15) -> rule6)) -> rule1) OR ((triple15 ((triple14 triple15) -> rule6)) -> rule4))] Harry is rough.[(triple14)] Harry is smart.[(triple15)] @1: Charlie is red.[(((triple8 triple9) -> rule3))] Gary is red.[(((triple12) -> rule1) OR ((triple10 triple11) -> rule3))] Harry is furry.[(((triple14 triple15) -> rule6))]