Bob is green. Bob is rough. Bob is round. Erin is big. Erin is blue. Erin is green. Erin is rough. Erin is round. Erin is smart. Erin is young. Blue things are round. If something is young and big then it is smart. If Bob is green and Bob is blue then Bob is big. Round, rough things are big. If something is young and round then it is blue. If something is big then it is young.
Bob is blue.
@0: Bob is green.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3)] Erin is big.[(triple4 OR ((triple8 triple7) -> rule4) OR ((((triple5) -> rule1) triple7) -> rule4))] Erin is blue.[(triple5 OR ((triple10 triple8) -> rule5) OR ((((triple4) -> rule6) triple8) -> rule5) OR ((((((triple8 triple7) -> rule4)) -> rule6) triple8) -> rule5))] Erin is green.[(triple6)] Erin is rough.[(triple7)] Erin is round.[(triple8 OR ((triple5) -> rule1))] Erin is smart.[(triple9 OR ((triple10 triple4) -> rule2) OR ((triple10 ((triple8 triple7) -> rule4)) -> rule2) OR ((((triple4) -> rule6) triple4) -> rule2) OR ((((triple4) -> rule6) ((triple8 triple7) -> rule4)) -> rule2) OR ((triple10 ((((triple5) -> rule1) triple7) -> rule4)) -> rule2) OR ((((((triple8 triple7) -> rule4)) -> rule6) triple4) -> rule2) OR ((((triple4) -> rule6) ((((triple5) -> rule1) triple7) -> rule4)) -> rule2) OR ((((((triple8 triple7) -> rule4)) -> rule6) ((triple8 triple7) -> rule4)) -> rule2) OR ((((((triple8 triple7) -> rule4)) -> rule6) ((((triple5) -> rule1) triple7) -> rule4)) -> rule2) OR ((((((((triple5) -> rule1) triple7) -> rule4)) -> rule6) triple4) -> rule2) OR ((((((((triple5) -> rule1) triple7) -> rule4)) -> rule6) ((triple8 triple7) -> rule4)) -> rule2) OR ((((((((triple5) -> rule1) triple7) -> rule4)) -> rule6) ((((triple5) -> rule1) triple7) -> rule4)) -> rule2))] Erin is young.[(triple10 OR ((triple4) -> rule6) OR ((((triple8 triple7) -> rule4)) -> rule6) OR ((((((triple5) -> rule1) triple7) -> rule4)) -> rule6))] @1: Bob is big.[(((triple3 triple2) -> rule4))] @2: Bob is young.[(((((triple3 triple2) -> rule4)) -> rule6))] @3: Bob is blue.[(((((((triple3 triple2) -> rule4)) -> rule6) triple3) -> rule5))] Bob is smart.[(((((((triple3 triple2) -> rule4)) -> rule6) ((triple3 triple2) -> rule4)) -> rule2))]