Bob is big. Bob is blue. Bob is rough. Bob is round. Bob is white. Erin is big. Erin is blue. Erin is rough. Erin is round. Erin is white. Erin is young. Gary is blue. If something is blue then it is white. If Erin is round then Erin is rough. All blue things are big. Big things are green. Blue, young things are green. All blue, rough things are big.
Bob is not big.
@0: Bob is big.[(triple1 OR ((triple2) -> rule3) OR ((triple2 triple3) -> rule6))] Bob is blue.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5 OR ((triple2) -> rule1))] Erin is big.[(triple6 OR ((triple7) -> rule3) OR ((triple7 triple8) -> rule6) OR ((triple7 ((triple9) -> rule2)) -> rule6))] Erin is blue.[(triple7)] Erin is rough.[(triple8 OR ((triple9) -> rule2))] Erin is round.[(triple9)] Erin is white.[(triple10 OR ((triple7) -> rule1))] Erin is young.[(triple11)] Gary is blue.[(triple12)] @1: Bob is green.[(((triple1) -> rule4) OR ((((triple2) -> rule3)) -> rule4) OR ((((triple2 triple3) -> rule6)) -> rule4))] Erin is green.[(((triple6) -> rule4) OR ((triple7 triple11) -> rule5) OR ((((triple7) -> rule3)) -> rule4) OR ((((triple7 triple8) -> rule6)) -> rule4) OR ((((triple7 ((triple9) -> rule2)) -> rule6)) -> rule4))] Gary is big.[(((triple12) -> rule3))] Gary is white.[(((triple12) -> rule1))] @2: Gary is green.[(((((triple12) -> rule3)) -> rule4))]