Bob is blue. Bob is rough. Bob is smart. Bob is white. Erin is big. Erin is blue. Erin is rough. Erin is smart. Erin is white. Erin is young. Gary is blue. Gary is green. Gary is rough. Gary is smart. Gary is white. Gary is young. If something is smart and blue then it is rough. All young, blue things are white. Rough things are white. If something is big then it is white. If Erin is rough and Erin is big then Erin is blue. All blue things are big. All rough things are big. White things are young.
Bob is not blue.
@0: Bob is blue.[(triple1)] Bob is rough.[(triple2 OR ((triple3 triple1) -> rule1))] Bob is smart.[(triple3)] Bob is white.[(triple4 OR ((triple2) -> rule3) OR ((((triple1) -> rule6)) -> rule4) OR ((((triple2) -> rule7)) -> rule4) OR ((((triple3 triple1) -> rule1)) -> rule3) OR ((((((triple3 triple1) -> rule1)) -> rule7)) -> rule4))] Erin is big.[(triple5 OR ((triple6) -> rule6) OR ((triple7) -> rule7) OR ((((triple8 triple6) -> rule1)) -> rule7))] Erin is blue.[(triple6 OR ((triple7 triple5) -> rule5) OR ((triple7 ((triple7) -> rule7)) -> rule5))] Erin is rough.[(triple7 OR ((triple8 triple6) -> rule1))] Erin is smart.[(triple8)] Erin is white.[(triple9 OR ((triple5) -> rule4) OR ((triple7) -> rule3) OR ((triple10 triple6) -> rule2) OR ((((triple6) -> rule6)) -> rule4) OR ((((triple7) -> rule7)) -> rule4) OR ((((triple8 triple6) -> rule1)) -> rule3) OR ((triple10 ((triple7 triple5) -> rule5)) -> rule2) OR ((((((triple8 triple6) -> rule1)) -> rule7)) -> rule4) OR ((triple10 ((triple7 ((triple7) -> rule7)) -> rule5)) -> rule2))] Erin is young.[(triple10 OR ((triple9) -> rule8) OR ((((triple5) -> rule4)) -> rule8) OR ((((triple7) -> rule3)) -> rule8) OR ((((((triple6) -> rule6)) -> rule4)) -> rule8) OR ((((((triple7) -> rule7)) -> rule4)) -> rule8) OR ((((((triple8 triple6) -> rule1)) -> rule3)) -> rule8) OR ((((((((triple8 triple6) -> rule1)) -> rule7)) -> rule4)) -> rule8))] Gary is blue.[(triple11)] Gary is green.[(triple12)] Gary is rough.[(triple13 OR ((triple14 triple11) -> rule1))] Gary is smart.[(triple14)] Gary is white.[(triple15 OR ((triple13) -> rule3) OR ((triple16 triple11) -> rule2) OR ((((triple11) -> rule6)) -> rule4) OR ((((triple13) -> rule7)) -> rule4) OR ((((triple14 triple11) -> rule1)) -> rule3) OR ((((((triple14 triple11) -> rule1)) -> rule7)) -> rule4))] Gary is young.[(triple16 OR ((triple15) -> rule8) OR ((((triple13) -> rule3)) -> rule8) OR ((((((triple11) -> rule6)) -> rule4)) -> rule8) OR ((((((triple13) -> rule7)) -> rule4)) -> rule8) OR ((((((triple14 triple11) -> rule1)) -> rule3)) -> rule8) OR ((((((((triple14 triple11) -> rule1)) -> rule7)) -> rule4)) -> rule8))] @1: Bob is big.[(((triple1) -> rule6) OR ((triple2) -> rule7) OR ((((triple3 triple1) -> rule1)) -> rule7))] Bob is young.[(((triple4) -> rule8) OR ((((triple2) -> rule3)) -> rule8) OR ((((((triple1) -> rule6)) -> rule4)) -> rule8) OR ((((((triple2) -> rule7)) -> rule4)) -> rule8) OR ((((((triple3 triple1) -> rule1)) -> rule3)) -> rule8) OR ((((((((triple3 triple1) -> rule1)) -> rule7)) -> rule4)) -> rule8))] Gary is big.[(((triple11) -> rule6) OR ((triple13) -> rule7) OR ((((triple14 triple11) -> rule1)) -> rule7))]