Bob is nice. Bob is not quiet. Bob is red. Charlie is green. Charlie is quiet. Charlie is red. Charlie is smart. Gary is quiet. Harry is blue. Harry is red. All young things are quiet. Blue things are quiet. If something is smart and nice then it is not quiet. All quiet things are red. Nice, smart things are green. All quiet things are green. If something is young and red then it is nice. If something is young then it is not smart.
Harry is red.
@0: Bob is nice.[(triple1)] Bob is not quiet.[(triple2)] Bob is red.[(triple3)] Charlie is green.[(triple4 OR ((triple5) -> rule6))] Charlie is quiet.[(triple5)] Charlie is red.[(triple6 OR ((triple5) -> rule4))] Charlie is smart.[(triple7)] Gary is quiet.[(triple8)] Harry is blue.[(triple9)] Harry is red.[(triple10 OR ((((triple9) -> rule2)) -> rule4))] @1: Gary is green.[(((triple8) -> rule6))] Gary is red.[(((triple8) -> rule4))] Harry is quiet.[(((triple9) -> rule2))] @2: Harry is green.[(((((triple9) -> rule2)) -> rule6))]