Charlie is red. Charlie is smart. Dave is blue. Dave is nice. Dave is quiet. Gary is blue. Gary is green. Gary is nice. Gary is quiet. Gary is rough. Harry is blue. Harry is quiet. Harry is red. Harry is rough. Harry is smart. Red, quiet things are smart. All nice things are green. Green things are red.
Dave is blue.
@0: Charlie is red.[(triple1)] Charlie is smart.[(triple2)] Dave is blue.[(triple3)] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Gary is blue.[(triple6)] Gary is green.[(triple7 OR ((triple8) -> rule2))] Gary is nice.[(triple8)] Gary is quiet.[(triple9)] Gary is rough.[(triple10)] Harry is blue.[(triple11)] Harry is quiet.[(triple12)] Harry is red.[(triple13)] Harry is rough.[(triple14)] Harry is smart.[(triple15 OR ((triple13 triple12) -> rule1))] @1: Dave is green.[(((triple4) -> rule2))] Gary is red.[(((triple7) -> rule3) OR ((((triple8) -> rule2)) -> rule3))] @2: Dave is red.[(((((triple4) -> rule2)) -> rule3))] Gary is smart.[(((((triple7) -> rule3) triple9) -> rule1) OR ((((((triple8) -> rule2)) -> rule3) triple9) -> rule1))] @3: Dave is smart.[(((((((triple4) -> rule2)) -> rule3) triple5) -> rule1))]