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