Anne is big. Anne is cold. Anne is rough. Anne is young. Charlie is big. Charlie is nice. Charlie is young. Erin is furry. Erin is rough. Erin is young. Harry is big. Harry is cold. Harry is nice. Harry is rough. Harry is round. Harry is young. All furry, nice people are round. If someone is furry and nice then they are big. If Harry is round and Harry is cold then Harry is young. All furry people are big. All big people are nice. If someone is furry and young then they are cold. If someone is furry and cold then they are rough. If someone is furry and nice then they are cold.
Charlie is not round.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is rough.[(triple3)] Anne is young.[(triple4)] Charlie is big.[(triple5)] Charlie is nice.[(triple6 OR ((triple5) -> rule5))] Charlie is young.[(triple7)] Erin is furry.[(triple8)] Erin is rough.[(triple9 OR ((triple8 ((triple8 triple10) -> rule6)) -> rule7) OR ((triple8 ((triple8 ((((triple8) -> rule4)) -> rule5)) -> rule8)) -> rule7))] Erin is young.[(triple10)] Harry is big.[(triple11)] Harry is cold.[(triple12)] Harry is nice.[(triple13 OR ((triple11) -> rule5))] Harry is rough.[(triple14)] Harry is round.[(triple15)] Harry is young.[(triple16 OR ((triple15 triple12) -> rule3))] @1: Anne is nice.[(((triple1) -> rule5))] Erin is big.[(((triple8) -> rule4))] Erin is cold.[(((triple8 triple10) -> rule6) OR ((triple8 ((((triple8) -> rule4)) -> rule5)) -> rule8))] @2: Erin is nice.[(((((triple8) -> rule4)) -> rule5))] @3: Erin is round.[(((triple8 ((((triple8) -> rule4)) -> rule5)) -> rule1))]