Charlie is not furry. Charlie is red. Charlie is rough. Charlie is not smart. Fiona is not cold. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. Harry is cold. Harry is furry. Harry is red. Harry is rough. Harry is round. Harry is smart. If something is round and not rough then it is cold. If Fiona is round then Fiona is young. Round things are smart. All smart things are round. If Harry is smart and Harry is round then Harry is young. Round things are furry.
Charlie is not cold.
@0: Charlie is not furry.[(triple1)] Charlie is not smart.[(triple4)] Charlie is red.[(triple2)] Charlie is rough.[(triple3)] Fiona is not cold.[(triple5)] Fiona is red.[(triple6)] Fiona is rough.[(triple7)] Fiona is round.[(triple8 OR ((triple9) -> rule4))] Fiona is smart.[(triple9 OR ((triple8) -> rule3))] Fiona is young.[(triple10 OR ((triple8) -> rule2) OR ((((triple9) -> rule4)) -> rule2))] Harry is cold.[(triple11)] Harry is furry.[(triple12 OR ((triple15) -> rule6) OR ((((triple16) -> rule4)) -> rule6))] Harry is red.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15 OR ((triple16) -> rule4))] Harry is smart.[(triple16 OR ((triple15) -> rule3))] @1: Fiona is furry.[(((triple8) -> rule6) OR ((((triple9) -> rule4)) -> rule6))] Harry is young.[(((triple16 triple15) -> rule5) OR ((triple16 ((triple16) -> rule4)) -> rule5) OR ((((triple15) -> rule3) triple15) -> rule5) OR ((((triple15) -> rule3) ((triple16) -> rule4)) -> rule5))]