Bob is green. Charlie is smart. Gary is young. If something is quiet then it is young. If something is red then it is quiet. If something is red and young then it is quiet. All young things are smart. If something is smart then it is round. Smart things are red. If Gary is red then Gary is green. If Gary is kind then Gary is green.
Bob is not smart.
@0: Bob is green.[(triple1)] Charlie is smart.[(triple2)] Gary is young.[(triple3)] @1: Charlie is red.[(((triple2) -> rule6))] Charlie is round.[(((triple2) -> rule5))] Gary is smart.[(((triple3) -> rule4))] @2: Charlie is quiet.[(((((triple2) -> rule6)) -> rule2))] Gary is red.[(((((triple3) -> rule4)) -> rule6))] Gary is round.[(((((triple3) -> rule4)) -> rule5))] @3: Charlie is young.[(((((((triple2) -> rule6)) -> rule2)) -> rule1))] Gary is green.[(((((((triple3) -> rule4)) -> rule6)) -> rule7))] Gary is quiet.[(((((((triple3) -> rule4)) -> rule6)) -> rule2) OR ((((((triple3) -> rule4)) -> rule6) triple3) -> rule3))]