Anne is young. Bob is blue. Bob is cold. Bob is red. Gary is cold. Gary is not young. Harry is cold. Harry is quiet. Harry is red. Harry is young. Nice, cold things are red. If something is quiet then it is red.
Gary is not red.
@0: Anne is young.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is red.[(triple4)] Gary is cold.[(triple5)] Gary is not young.[(triple6)] Harry is cold.[(triple7)] Harry is quiet.[(triple8)] Harry is red.[(triple9 OR ((triple8) -> rule2))] Harry is young.[(triple10)]