Charlie is big. Charlie is cold. Charlie is not furry. Charlie is kind. Charlie is rough. Charlie is round. Erin is blue. Erin is cold. Erin is not furry. Erin is kind. Erin is rough. Erin is round. If Erin is furry and Erin is not big then Erin is kind. If someone is round and not rough then they are kind. If someone is cold then they are kind. If someone is rough then they are blue. Big, blue people are cold. If Charlie is round then Charlie is not furry.
Erin is furry.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2 OR ((triple1 ((triple5) -> rule4)) -> rule5))] Charlie is kind.[(triple4 OR ((triple2) -> rule3) OR ((((triple1 ((triple5) -> rule4)) -> rule5)) -> rule3))] Charlie is not furry.[(triple3 OR ((triple6) -> rule6))] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Erin is blue.[(triple7 OR ((triple11) -> rule4))] Erin is cold.[(triple8)] Erin is kind.[(triple10 OR ((triple8) -> rule3))] Erin is not furry.[(triple9)] Erin is rough.[(triple11)] Erin is round.[(triple12)] @1: Charlie is blue.[(((triple5) -> rule4))]