Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is round. Gary is white. If something is cold then it is kind. All cold things are round. If something is cold then it is nice. If something is kind and round then it is nice. If something is green and kind then it is nice. All red things are white. All white, nice things are red. Cold, white things are green.
Gary is not round.
@0: Gary is cold.[(triple1)] Gary is green.[(triple2 OR ((triple1 triple7) -> rule8) OR ((triple1 ((triple5) -> rule6)) -> rule8))] Gary is kind.[(triple3 OR ((triple1) -> rule1))] Gary is nice.[(triple4 OR ((triple1) -> rule3) OR ((triple2 triple3) -> rule5) OR ((triple3 triple6) -> rule4) OR ((triple2 ((triple1) -> rule1)) -> rule5) OR ((triple3 ((triple1) -> rule2)) -> rule4) OR ((((triple1) -> rule1) triple6) -> rule4) OR ((((triple1 triple7) -> rule8) triple3) -> rule5) OR ((((triple1) -> rule1) ((triple1) -> rule2)) -> rule4) OR ((((triple1 triple7) -> rule8) ((triple1) -> rule1)) -> rule5) OR ((((triple1 ((triple5) -> rule6)) -> rule8) triple3) -> rule5) OR ((((triple1 ((triple5) -> rule6)) -> rule8) ((triple1) -> rule1)) -> rule5))] Gary is red.[(triple5 OR ((triple7 triple4) -> rule7) OR ((triple7 ((triple1) -> rule3)) -> rule7) OR ((triple7 ((triple2 triple3) -> rule5)) -> rule7) OR ((triple7 ((triple3 triple6) -> rule4)) -> rule7) OR ((triple7 ((triple2 ((triple1) -> rule1)) -> rule5)) -> rule7) OR ((triple7 ((triple3 ((triple1) -> rule2)) -> rule4)) -> rule7) OR ((triple7 ((((triple1) -> rule1) triple6) -> rule4)) -> rule7) OR ((triple7 ((((triple1 triple7) -> rule8) triple3) -> rule5)) -> rule7) OR ((triple7 ((((triple1) -> rule1) ((triple1) -> rule2)) -> rule4)) -> rule7) OR ((triple7 ((((triple1 triple7) -> rule8) ((triple1) -> rule1)) -> rule5)) -> rule7))] Gary is round.[(triple6 OR ((triple1) -> rule2))] Gary is white.[(triple7 OR ((triple5) -> rule6))]