Gary is big. Gary is blue. Gary is cold. Gary is kind. Gary is red. Gary is rough. Gary is young. All rough people are cold. Rough, kind people are red. If Gary is young then Gary is red. Rough people are kind. If someone is blue and red then they are big. If someone is cold then they are blue.
Gary is not red.
@0: Gary is big.[(triple1 OR ((triple2 triple5) -> rule5) OR ((triple2 ((triple7) -> rule3)) -> rule5) OR ((triple2 ((triple6 triple4) -> rule2)) -> rule5) OR ((((triple3) -> rule6) triple5) -> rule5) OR ((((triple3) -> rule6) ((triple7) -> rule3)) -> rule5) OR ((((triple3) -> rule6) ((triple6 triple4) -> rule2)) -> rule5) OR ((triple2 ((triple6 ((triple6) -> rule4)) -> rule2)) -> rule5) OR ((((((triple6) -> rule1)) -> rule6) triple5) -> rule5) OR ((((triple3) -> rule6) ((triple6 ((triple6) -> rule4)) -> rule2)) -> rule5) OR ((((((triple6) -> rule1)) -> rule6) ((triple7) -> rule3)) -> rule5) OR ((((((triple6) -> rule1)) -> rule6) ((triple6 triple4) -> rule2)) -> rule5) OR ((((((triple6) -> rule1)) -> rule6) ((triple6 ((triple6) -> rule4)) -> rule2)) -> rule5))] Gary is blue.[(triple2 OR ((triple3) -> rule6) OR ((((triple6) -> rule1)) -> rule6))] Gary is cold.[(triple3 OR ((triple6) -> rule1))] Gary is kind.[(triple4 OR ((triple6) -> rule4))] Gary is red.[(triple5 OR ((triple7) -> rule3) OR ((triple6 triple4) -> rule2) OR ((triple6 ((triple6) -> rule4)) -> rule2))] Gary is rough.[(triple6)] Gary is young.[(triple7)]