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