Bob is not nice. Bob is rough. Bob is young. Erin is nice. Erin is quiet. Gary is blue. Gary is rough. Harry is blue. Harry is not cold. Harry is quiet. Harry is red. Harry is young. Quiet things are young. If Gary is not cold then Gary is not quiet. Blue things are quiet. If something is quiet and red then it is blue. If Harry is quiet then Harry is not cold. If something is young and not quiet then it is nice.
Gary is cold.
@0: Bob is not nice.[(triple1)] Bob is rough.[(triple2)] Bob is young.[(triple3)] Erin is nice.[(triple4)] Erin is quiet.[(triple5)] Gary is blue.[(triple6)] Gary is rough.[(triple7)] Harry is blue.[(triple8 OR ((triple10 triple11) -> rule4))] Harry is not cold.[(triple9 OR ((triple10) -> rule5) OR ((((triple8) -> rule3)) -> rule5))] Harry is quiet.[(triple10 OR ((triple8) -> rule3))] Harry is red.[(triple11)] Harry is young.[(triple12 OR ((triple10) -> rule1) OR ((((triple8) -> rule3)) -> rule1))] @1: Erin is young.[(((triple5) -> rule1))] Gary is quiet.[(((triple6) -> rule3))] @2: Gary is young.[(((((triple6) -> rule3)) -> rule1))]