Bob is red. Charlie is blue. Charlie is cold. Charlie is red. Charlie is rough. Erin is blue. Erin is cold. Erin is kind. Erin is rough. Harry is kind. All cold, big people are young. Cold people are blue. All red, kind people are blue. All kind people are cold. All blue, cold people are young. Rough people are blue.
Erin is kind.
@0: Bob is red.[(triple1)] Charlie is blue.[(triple2 OR ((triple3) -> rule2) OR ((triple5) -> rule6))] Charlie is cold.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Erin is blue.[(triple6 OR ((triple7) -> rule2) OR ((triple9) -> rule6) OR ((((triple8) -> rule4)) -> rule2))] Erin is cold.[(triple7 OR ((triple8) -> rule4))] Erin is kind.[(triple8)] Erin is rough.[(triple9)] Harry is kind.[(triple10)] @1: Charlie is young.[(((triple2 triple3) -> rule5) OR ((((triple3) -> rule2) triple3) -> rule5) OR ((((triple5) -> rule6) triple3) -> rule5))] Erin is young.[(((triple6 triple7) -> rule5) OR ((triple6 ((triple8) -> rule4)) -> rule5) OR ((((triple7) -> rule2) triple7) -> rule5) OR ((((triple9) -> rule6) triple7) -> rule5) OR ((((triple7) -> rule2) ((triple8) -> rule4)) -> rule5) OR ((((triple9) -> rule6) ((triple8) -> rule4)) -> rule5) OR ((((((triple8) -> rule4)) -> rule2) triple7) -> rule5) OR ((((((triple8) -> rule4)) -> rule2) ((triple8) -> rule4)) -> rule5))] Harry is cold.[(((triple10) -> rule4))] @2: Harry is blue.[(((((triple10) -> rule4)) -> rule2))] @3: Harry is young.[(((((((triple10) -> rule4)) -> rule2) ((triple10) -> rule4)) -> rule5))]