Gary is cold. Gary is nice. Gary is quiet. Harry is blue. Harry is cold. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is smart. All rough people are red. Nice, blue people are rough. All red people are cold. If Gary is blue then Gary is cold. If Gary is nice then Gary is rough. All nice people are quiet. If someone is smart then they are rough. All cold people are rough.
Gary is not red.
@0: Gary is cold.[(triple1 OR ((((((triple2) -> rule5)) -> rule1)) -> rule3))] Gary is nice.[(triple2)] Gary is quiet.[(triple3 OR ((triple2) -> rule6))] Harry is blue.[(triple4)] Harry is cold.[(triple5 OR ((triple8) -> rule3) OR ((((triple9) -> rule1)) -> rule3) OR ((((((triple10) -> rule7)) -> rule1)) -> rule3) OR ((((((triple6 triple4) -> rule2)) -> rule1)) -> rule3))] Harry is nice.[(triple6)] Harry is quiet.[(triple7 OR ((triple6) -> rule6))] Harry is red.[(triple8 OR ((triple9) -> rule1) OR ((((triple10) -> rule7)) -> rule1) OR ((((triple5) -> rule8)) -> rule1) OR ((((triple6 triple4) -> rule2)) -> rule1))] Harry is rough.[(triple9 OR ((triple10) -> rule7) OR ((triple5) -> rule8) OR ((triple6 triple4) -> rule2) OR ((((triple8) -> rule3)) -> rule8))] Harry is smart.[(triple10)] @1: Gary is rough.[(((triple1) -> rule8) OR ((triple2) -> rule5))] @2: Gary is red.[(((((triple1) -> rule8)) -> rule1) OR ((((triple2) -> rule5)) -> rule1))]