Gary is blue. Gary is nice. Gary is quiet. Gary is rough. Gary is round. Gary is white. Gary is young. All nice, blue people are white. All rough, nice people are white. Quiet people are white. All nice people are quiet. All white, young people are rough. Quiet, rough people are round. White people are blue. Blue, rough people are nice.
Gary is rough.
@0: Gary is blue.[(triple1 OR ((triple6) -> rule7) OR ((((triple3) -> rule3)) -> rule7) OR ((((triple4 triple2) -> rule2)) -> rule7) OR ((((((triple2) -> rule4)) -> rule3)) -> rule7))] Gary is nice.[(triple2 OR ((triple1 triple4) -> rule8) OR ((triple1 ((triple6 triple7) -> rule5)) -> rule8) OR ((((triple6) -> rule7) triple4) -> rule8) OR ((((triple6) -> rule7) ((triple6 triple7) -> rule5)) -> rule8) OR ((triple1 ((((triple3) -> rule3) triple7) -> rule5)) -> rule8) OR ((((((triple3) -> rule3)) -> rule7) triple4) -> rule8) OR ((((triple6) -> rule7) ((((triple3) -> rule3) triple7) -> rule5)) -> rule8) OR ((((((triple3) -> rule3)) -> rule7) ((triple6 triple7) -> rule5)) -> rule8) OR ((((((triple3) -> rule3)) -> rule7) ((((triple3) -> rule3) triple7) -> rule5)) -> rule8))] Gary is quiet.[(triple3 OR ((triple2) -> rule4) OR ((((triple1 triple4) -> rule8)) -> rule4) OR ((((triple1 ((triple6 triple7) -> rule5)) -> rule8)) -> rule4) OR ((((((triple6) -> rule7) triple4) -> rule8)) -> rule4) OR ((((((triple6) -> rule7) ((triple6 triple7) -> rule5)) -> rule8)) -> rule4))] Gary is rough.[(triple4 OR ((triple6 triple7) -> rule5) OR ((((triple3) -> rule3) triple7) -> rule5) OR ((((triple2 triple1) -> rule1) triple7) -> rule5) OR ((((((triple2) -> rule4)) -> rule3) triple7) -> rule5))] Gary is round.[(triple5 OR ((triple3 triple4) -> rule6) OR ((triple3 ((triple6 triple7) -> rule5)) -> rule6) OR ((((triple2) -> rule4) triple4) -> rule6) OR ((((triple2) -> rule4) ((triple6 triple7) -> rule5)) -> rule6) OR ((triple3 ((((triple3) -> rule3) triple7) -> rule5)) -> rule6) OR ((triple3 ((((triple2 triple1) -> rule1) triple7) -> rule5)) -> rule6) OR ((((((triple1 triple4) -> rule8)) -> rule4) triple4) -> rule6) OR ((((triple2) -> rule4) ((((triple3) -> rule3) triple7) -> rule5)) -> rule6) OR ((((triple2) -> rule4) ((((triple2 triple1) -> rule1) triple7) -> rule5)) -> rule6) OR ((((((triple1 triple4) -> rule8)) -> rule4) ((triple6 triple7) -> rule5)) -> rule6) OR ((((((triple1 triple4) -> rule8)) -> rule4) ((((triple3) -> rule3) triple7) -> rule5)) -> rule6) OR ((((((triple1 triple4) -> rule8)) -> rule4) ((((triple2 triple1) -> rule1) triple7) -> rule5)) -> rule6) OR ((triple3 ((((((triple2) -> rule4)) -> rule3) triple7) -> rule5)) -> rule6) OR ((((((triple1 ((triple6 triple7) -> rule5)) -> rule8)) -> rule4) triple4) -> rule6) OR ((((((((triple6) -> rule7) triple4) -> rule8)) -> rule4) triple4) -> rule6) OR ((((triple2) -> rule4) ((((((triple2) -> rule4)) -> rule3) triple7) -> rule5)) -> rule6) OR ((((((triple1 ((triple6 triple7) -> rule5)) -> rule8)) -> rule4) ((triple6 triple7) -> rule5)) -> rule6) OR ((((((((triple6) -> rule7) triple4) -> rule8)) -> rule4) ((triple6 triple7) -> rule5)) -> rule6) OR ((((((((triple6) -> rule7) ((triple6 triple7) -> rule5)) -> rule8)) -> rule4) triple4) -> rule6) OR ((((((triple1 triple4) -> rule8)) -> rule4) ((((((triple2) -> rule4)) -> rule3) triple7) -> rule5)) -> rule6) OR ((((((triple1 ((triple6 triple7) -> rule5)) -> rule8)) -> rule4) ((((triple3) -> rule3) triple7) -> rule5)) -> rule6) OR ((((((triple1 ((triple6 triple7) -> rule5)) -> rule8)) -> rule4) ((((triple2 triple1) -> rule1) triple7) -> rule5)) -> rule6) OR ((((((((triple6) -> rule7) triple4) -> rule8)) -> rule4) ((((triple3) -> rule3) triple7) -> rule5)) -> rule6) OR ((((((((triple6) -> rule7) triple4) -> rule8)) -> rule4) ((((triple2 triple1) -> rule1) triple7) -> rule5)) -> rule6) OR ((((((((triple6) -> rule7) ((triple6 triple7) -> rule5)) -> rule8)) -> rule4) ((triple6 triple7) -> rule5)) -> rule6) OR ((((((triple1 ((triple6 triple7) -> rule5)) -> rule8)) -> rule4) ((((((triple2) -> rule4)) -> rule3) triple7) -> rule5)) -> rule6) OR ((((((((triple6) -> rule7) triple4) -> rule8)) -> rule4) ((((((triple2) -> rule4)) -> rule3) triple7) -> rule5)) -> rule6) OR ((((((((triple6) -> rule7) ((triple6 triple7) -> rule5)) -> rule8)) -> rule4) ((((triple3) -> rule3) triple7) -> rule5)) -> rule6) OR ((((((((triple6) -> rule7) ((triple6 triple7) -> rule5)) -> rule8)) -> rule4) ((((triple2 triple1) -> rule1) triple7) -> rule5)) -> rule6) OR ((((((((triple6) -> rule7) ((triple6 triple7) -> rule5)) -> rule8)) -> rule4) ((((((triple2) -> rule4)) -> rule3) triple7) -> rule5)) -> rule6))] Gary is white.[(triple6 OR ((triple3) -> rule3) OR ((triple2 triple1) -> rule1) OR ((triple4 triple2) -> rule2) OR ((((triple2) -> rule4)) -> rule3) OR ((triple4 ((triple1 triple4) -> rule8)) -> rule2) OR ((((triple1 triple4) -> rule8) triple1) -> rule1) OR ((((((triple1 triple4) -> rule8)) -> rule4)) -> rule3))] Gary is young.[(triple7)]