Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is rough. Gary is round. Gary is white. If Gary is rough and Gary is round then Gary is kind. If Gary is white and Gary is cold then Gary is kind. If someone is nice and green then they are round. All cold people are white. Green people are nice. All kind, rough people are round.
Gary is rough.
@0: Gary is cold.[(triple1)] Gary is green.[(triple2)] Gary is kind.[(triple3 OR ((triple5 triple6) -> rule1) OR ((triple7 triple1) -> rule2) OR ((triple5 ((triple4 triple2) -> rule3)) -> rule1) OR ((((triple1) -> rule4) triple1) -> rule2) OR ((triple5 ((((triple2) -> rule5) triple2) -> rule3)) -> rule1))] Gary is nice.[(triple4 OR ((triple2) -> rule5))] Gary is rough.[(triple5)] Gary is round.[(triple6 OR ((triple3 triple5) -> rule6) OR ((triple4 triple2) -> rule3) OR ((((triple2) -> rule5) triple2) -> rule3) OR ((((triple7 triple1) -> rule2) triple5) -> rule6) OR ((((((triple1) -> rule4) triple1) -> rule2) triple5) -> rule6))] Gary is white.[(triple7 OR ((triple1) -> rule4))]