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