Anne is big. Anne is red. Anne is round. Anne is young. Bob is big. Bob is red. Bob is rough. Bob is round. Bob is smart. Bob is young. Harry is big. Harry is red. If something is rough and red then it is smart. Smart, young things are rough. If something is young then it is rough. Round, smart things are nice. If Bob is round and Bob is rough then Bob is red. If something is red and round then it is big.
Harry is not rough.
@0: Anne is big.[(triple1 OR ((triple2 triple3) -> rule6))] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is young.[(triple4)] Bob is big.[(triple5 OR ((triple6 triple8) -> rule6) OR ((((triple8 triple7) -> rule5) triple8) -> rule6) OR ((((triple8 ((triple10) -> rule3)) -> rule5) triple8) -> rule6) OR ((((triple8 ((triple9 triple10) -> rule2)) -> rule5) triple8) -> rule6))] Bob is red.[(triple6 OR ((triple8 triple7) -> rule5) OR ((triple8 ((triple10) -> rule3)) -> rule5) OR ((triple8 ((triple9 triple10) -> rule2)) -> rule5))] Bob is rough.[(triple7 OR ((triple10) -> rule3) OR ((triple9 triple10) -> rule2))] Bob is round.[(triple8)] Bob is smart.[(triple9 OR ((triple7 triple6) -> rule1) OR ((triple7 ((triple8 triple7) -> rule5)) -> rule1) OR ((((triple10) -> rule3) triple6) -> rule1) OR ((((triple10) -> rule3) ((triple8 triple7) -> rule5)) -> rule1) OR ((triple7 ((triple8 ((triple10) -> rule3)) -> rule5)) -> rule1) OR ((((triple10) -> rule3) ((triple8 ((triple10) -> rule3)) -> rule5)) -> rule1))] Bob is young.[(triple10)] Harry is big.[(triple11)] Harry is red.[(triple12)] @1: Anne is rough.[(((triple4) -> rule3))] Bob is nice.[(((triple8 triple9) -> rule4) OR ((triple8 ((triple7 triple6) -> rule1)) -> rule4) OR ((triple8 ((triple7 ((triple8 triple7) -> rule5)) -> rule1)) -> rule4) OR ((triple8 ((((triple10) -> rule3) triple6) -> rule1)) -> rule4) OR ((triple8 ((((triple10) -> rule3) ((triple8 triple7) -> rule5)) -> rule1)) -> rule4) OR ((triple8 ((triple7 ((triple8 ((triple10) -> rule3)) -> rule5)) -> rule1)) -> rule4) OR ((triple8 ((((triple10) -> rule3) ((triple8 ((triple10) -> rule3)) -> rule5)) -> rule1)) -> rule4))] @2: Anne is smart.[(((((triple4) -> rule3) triple2) -> rule1))] @3: Anne is nice.[(((triple3 ((((triple4) -> rule3) triple2) -> rule1)) -> rule4))]