Charlie is green. Charlie is red. Charlie is round. Charlie is smart. Harry is green. Harry is quiet. Harry is smart. Rough people are round. All nice, quiet people are rough. Round, nice people are smart. All round people are red. Round, red people are quiet. If Charlie is round and Charlie is red then Charlie is smart. If Harry is red then Harry is green. All green people are nice.
Harry is round.
@0: Charlie is green.[(triple1)] Charlie is red.[(triple2 OR ((triple3) -> rule4))] Charlie is round.[(triple3)] Charlie is smart.[(triple4 OR ((triple3 triple2) -> rule6) OR ((triple3 ((triple1) -> rule8)) -> rule3) OR ((triple3 ((triple3) -> rule4)) -> rule6))] Harry is green.[(triple5)] Harry is quiet.[(triple6)] Harry is smart.[(triple7 OR ((((((((triple5) -> rule8) triple6) -> rule2)) -> rule1) ((triple5) -> rule8)) -> rule3))] @1: Charlie is nice.[(((triple1) -> rule8))] Charlie is quiet.[(((triple3 triple2) -> rule5) OR ((triple3 ((triple3) -> rule4)) -> rule5))] Harry is nice.[(((triple5) -> rule8))] @2: Charlie is rough.[(((((triple1) -> rule8) ((triple3 triple2) -> rule5)) -> rule2) OR ((((triple1) -> rule8) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule2))] Harry is rough.[(((((triple5) -> rule8) triple6) -> rule2))] @3: Harry is round.[(((((((triple5) -> rule8) triple6) -> rule2)) -> rule1))] @4: Harry is red.[(((((((((triple5) -> rule8) triple6) -> rule2)) -> rule1)) -> rule4))]