Anne is big. Anne is nice. Anne is young. Erin is big. Erin is smart. Harry is blue. Harry is nice. Harry is rough. Harry is round. Harry is young. Nice, young things are rough. Young, round things are rough. If Anne is rough and Anne is blue then Anne is big. If something is big then it is young. Young, blue things are big. If Anne is rough then Anne is round. All round things are smart. Big things are blue.
Harry is not blue.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is young.[(triple3 OR ((triple1) -> rule4))] Erin is big.[(triple4)] Erin is smart.[(triple5)] Harry is blue.[(triple6)] Harry is nice.[(triple7)] Harry is rough.[(triple8 OR ((triple10 triple9) -> rule2) OR ((triple7 triple10) -> rule1))] Harry is round.[(triple9)] Harry is young.[(triple10)] @1: Anne is blue.[(((triple1) -> rule8))] Anne is rough.[(((triple2 triple3) -> rule1) OR ((triple2 ((triple1) -> rule4)) -> rule1))] Erin is blue.[(((triple4) -> rule8))] Erin is young.[(((triple4) -> rule4))] Harry is big.[(((triple10 triple6) -> rule5))] Harry is smart.[(((triple9) -> rule7))] @2: Anne is round.[(((((triple2 triple3) -> rule1)) -> rule6) OR ((((triple2 ((triple1) -> rule4)) -> rule1)) -> rule6))] @3: Anne is smart.[(((((((triple2 triple3) -> rule1)) -> rule6)) -> rule7) OR ((((((triple2 ((triple1) -> rule4)) -> rule1)) -> rule6)) -> rule7))]