Gary is green. Gary is quiet. Gary is red. Gary is round. Gary is smart. Gary is white. Gary is young. All quiet, round things are smart. Green things are round. Smart things are white. White, quiet things are smart. If Gary is white then Gary is green. All quiet things are round. All white things are red. If Gary is red then Gary is white.
Gary is green.
@0: Gary is green.[(triple1 OR ((triple6) -> rule5) OR ((((triple3) -> rule8)) -> rule5) OR ((((triple5) -> rule3)) -> rule5) OR ((((((triple2 triple4) -> rule1)) -> rule3)) -> rule5) OR ((((((triple2 ((triple2) -> rule6)) -> rule1)) -> rule3)) -> rule5))] Gary is quiet.[(triple2)] Gary is red.[(triple3 OR ((triple6) -> rule7) OR ((((triple5) -> rule3)) -> rule7) OR ((((((triple2 triple4) -> rule1)) -> rule3)) -> rule7) OR ((((((triple2 ((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule7) OR ((((((triple2 ((triple2) -> rule6)) -> rule1)) -> rule3)) -> rule7))] Gary is round.[(triple4 OR ((triple1) -> rule2) OR ((triple2) -> rule6) OR ((((triple6) -> rule5)) -> rule2) OR ((((((triple3) -> rule8)) -> rule5)) -> rule2) OR ((((((triple5) -> rule3)) -> rule5)) -> rule2))] Gary is smart.[(triple5 OR ((triple2 triple4) -> rule1) OR ((triple6 triple2) -> rule4) OR ((triple2 ((triple1) -> rule2)) -> rule1) OR ((triple2 ((triple2) -> rule6)) -> rule1) OR ((((triple3) -> rule8) triple2) -> rule4) OR ((triple2 ((((triple6) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((((triple3) -> rule8)) -> rule5)) -> rule2)) -> rule1))] Gary is white.[(triple6 OR ((triple3) -> rule8) OR ((triple5) -> rule3) OR ((((triple2 triple4) -> rule1)) -> rule3) OR ((((triple2 ((triple1) -> rule2)) -> rule1)) -> rule3) OR ((((triple2 ((triple2) -> rule6)) -> rule1)) -> rule3))] Gary is young.[(triple7)]