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