Charlie is big. Charlie is red. Charlie is round. Charlie is white. Charlie is young. Erin is big. Erin is rough. Erin is round. Erin is young. Harry is big. Round people are young. If Erin is big then Erin is rough. Round people are cold. All red, cold people are round. All rough, cold people are big. All cold, red people are rough.
Charlie is rough.
@0: Charlie is big.[(triple1 OR ((((((triple3) -> rule3) triple2) -> rule6) ((triple3) -> rule3)) -> rule5))] Charlie is red.[(triple2)] Charlie is round.[(triple3)] Charlie is white.[(triple4)] Charlie is young.[(triple5 OR ((triple3) -> rule1))] Erin is big.[(triple6 OR ((triple7 ((triple8) -> rule3)) -> rule5))] Erin is rough.[(triple7 OR ((triple6) -> rule2))] Erin is round.[(triple8)] Erin is young.[(triple9 OR ((triple8) -> rule1))] Harry is big.[(triple10)] @1: Charlie is cold.[(((triple3) -> rule3))] Erin is cold.[(((triple8) -> rule3))] @2: Charlie is rough.[(((((triple3) -> rule3) triple2) -> rule6))]