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