Charlie is big. Charlie is furry. Charlie is kind. Charlie is round. Erin is big. Erin is furry. Erin is kind. Erin is rough. Harry is big. Harry is cold. Kind, cold people are round. If someone is furry then they are cold. If someone is rough then they are round. If someone is round and rough then they are big. Cold people are big. If Harry is blue and Harry is cold then Harry is furry. If someone is cold and rough then they are round. All furry, round people are kind.
Charlie is big.
@0: Charlie is big.[(triple1 OR ((((triple2) -> rule2)) -> rule5))] Charlie is furry.[(triple2)] Charlie is kind.[(triple3 OR ((triple2 triple4) -> rule8))] Charlie is round.[(triple4 OR ((triple3 ((triple2) -> rule2)) -> rule1))] Erin is big.[(triple5 OR ((((triple6) -> rule2)) -> rule5) OR ((((triple8) -> rule3) triple8) -> rule4) OR ((((triple7 ((triple6) -> rule2)) -> rule1) triple8) -> rule4) OR ((((((triple6) -> rule2) triple8) -> rule7) triple8) -> rule4))] Erin is furry.[(triple6)] Erin is kind.[(triple7 OR ((triple6 ((triple8) -> rule3)) -> rule8) OR ((triple6 ((((triple6) -> rule2) triple8) -> rule7)) -> rule8))] Erin is rough.[(triple8)] Harry is big.[(triple9 OR ((triple10) -> rule5))] Harry is cold.[(triple10)] @1: Charlie is cold.[(((triple2) -> rule2))] Erin is cold.[(((triple6) -> rule2))] Erin is round.[(((triple8) -> rule3) OR ((triple7 ((triple6) -> rule2)) -> rule1) OR ((((triple6) -> rule2) triple8) -> rule7))]