Bob is rough. Charlie is red. Charlie is rough. Erin is blue. Erin is rough. Erin is smart. Harry is blue. Harry is nice. Harry is red. Harry is rough. Nice people are smart. Nice people are red. All red, rough people are smart. If someone is smart and rough then they are nice. All rough people are red. All round, rough people are blue. All red, big people are nice. All nice, rough people are round. If Bob is nice then Bob is rough.
Erin is not big.
@0: Bob is rough.[(triple1)] Charlie is red.[(triple2 OR ((triple3) -> rule5))] Charlie is rough.[(triple3)] Erin is blue.[(triple4 OR ((((((triple6 triple5) -> rule4) triple5) -> rule8) triple5) -> rule6) OR ((((((((((triple5) -> rule5) triple5) -> rule3) triple5) -> rule4) triple5) -> rule8) triple5) -> rule6))] Erin is rough.[(triple5)] Erin is smart.[(triple6 OR ((((triple5) -> rule5) triple5) -> rule3))] Harry is blue.[(triple7 OR ((((triple8 triple10) -> rule8) triple10) -> rule6) OR ((((((((triple9 triple10) -> rule3) triple10) -> rule4) triple10) -> rule8) triple10) -> rule6) OR ((((((((((triple10) -> rule5) triple10) -> rule3) triple10) -> rule4) triple10) -> rule8) triple10) -> rule6))] Harry is nice.[(triple8 OR ((((triple9 triple10) -> rule3) triple10) -> rule4) OR ((((((triple10) -> rule5) triple10) -> rule3) triple10) -> rule4))] Harry is red.[(triple9 OR ((triple10) -> rule5) OR ((triple8) -> rule2))] Harry is rough.[(triple10)] @1: Bob is red.[(((triple1) -> rule5))] Charlie is smart.[(((triple2 triple3) -> rule3) OR ((((triple3) -> rule5) triple3) -> rule3))] Erin is nice.[(((triple6 triple5) -> rule4) OR ((((((triple5) -> rule5) triple5) -> rule3) triple5) -> rule4))] Erin is red.[(((triple5) -> rule5) OR ((((triple6 triple5) -> rule4)) -> rule2))] Harry is round.[(((triple8 triple10) -> rule8) OR ((((((triple9 triple10) -> rule3) triple10) -> rule4) triple10) -> rule8) OR ((((((((triple10) -> rule5) triple10) -> rule3) triple10) -> rule4) triple10) -> rule8))] Harry is smart.[(((triple8) -> rule1) OR ((triple9 triple10) -> rule3) OR ((((triple10) -> rule5) triple10) -> rule3) OR ((((triple8) -> rule2) triple10) -> rule3))] @2: Bob is smart.[(((((triple1) -> rule5) triple1) -> rule3))] Charlie is nice.[(((((triple2 triple3) -> rule3) triple3) -> rule4) OR ((((((triple3) -> rule5) triple3) -> rule3) triple3) -> rule4))] Erin is round.[(((((triple6 triple5) -> rule4) triple5) -> rule8) OR ((((((((triple5) -> rule5) triple5) -> rule3) triple5) -> rule4) triple5) -> rule8))] @3: Bob is nice.[(((((((triple1) -> rule5) triple1) -> rule3) triple1) -> rule4))] Charlie is round.[(((((((triple2 triple3) -> rule3) triple3) -> rule4) triple3) -> rule8) OR ((((((((triple3) -> rule5) triple3) -> rule3) triple3) -> rule4) triple3) -> rule8))] @4: Bob is round.[(((((((((triple1) -> rule5) triple1) -> rule3) triple1) -> rule4) triple1) -> rule8))] Charlie is blue.[(((((((((triple2 triple3) -> rule3) triple3) -> rule4) triple3) -> rule8) triple3) -> rule6) OR ((((((((((triple3) -> rule5) triple3) -> rule3) triple3) -> rule4) triple3) -> rule8) triple3) -> rule6))] @5: Bob is blue.[(((((((((((triple1) -> rule5) triple1) -> rule3) triple1) -> rule4) triple1) -> rule8) triple1) -> rule6))]