Bob is round. Charlie is big. Charlie is red. Charlie is rough. Erin is big. Erin is green. Erin is red. Erin is round. Harry is red. Harry is young. Nice, young things are green. If something is round and green then it is rough. Round things are young. If something is green and big then it is young. All young things are nice. All red, nice things are green. Big things are rough. If something is nice then it is round.
Bob is big.
@0: Bob is round.[(triple1)] Charlie is big.[(triple2)] Charlie is red.[(triple3)] Charlie is rough.[(triple4 OR ((triple2) -> rule7))] Erin is big.[(triple5)] Erin is green.[(triple6 OR ((triple7 ((((triple8) -> rule3)) -> rule5)) -> rule6) OR ((((((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule1))] Erin is red.[(triple7)] Erin is round.[(triple8 OR ((((((triple6 triple5) -> rule4)) -> rule5)) -> rule8))] Harry is red.[(triple9)] Harry is young.[(triple10)] @1: Bob is young.[(((triple1) -> rule3))] Erin is rough.[(((triple5) -> rule7) OR ((triple8 triple6) -> rule2) OR ((triple8 ((triple7 ((((triple8) -> rule3)) -> rule5)) -> rule6)) -> rule2) OR ((((((((triple6 triple5) -> rule4)) -> rule5)) -> rule8) triple6) -> rule2) OR ((triple8 ((((((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple6 triple5) -> rule4)) -> rule5)) -> rule8) ((triple7 ((((triple8) -> rule3)) -> rule5)) -> rule6)) -> rule2) OR ((((((((triple6 triple5) -> rule4)) -> rule5)) -> rule8) ((((((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule1)) -> rule2))] Erin is young.[(((triple8) -> rule3) OR ((triple6 triple5) -> rule4))] Harry is nice.[(((triple10) -> rule5))] @2: Bob is nice.[(((((triple1) -> rule3)) -> rule5))] Erin is nice.[(((((triple8) -> rule3)) -> rule5) OR ((((triple6 triple5) -> rule4)) -> rule5))] Harry is green.[(((triple9 ((triple10) -> rule5)) -> rule6) OR ((((triple10) -> rule5) triple10) -> rule1))] Harry is round.[(((((triple10) -> rule5)) -> rule8))] @3: Bob is green.[(((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule1))] Harry is rough.[(((((((triple10) -> rule5)) -> rule8) ((triple9 ((triple10) -> rule5)) -> rule6)) -> rule2) OR ((((((triple10) -> rule5)) -> rule8) ((((triple10) -> rule5) triple10) -> rule1)) -> rule2))] @4: Bob is rough.[(((triple1 ((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule1)) -> rule2))]