Bob is furry. Charlie is cold. Charlie is smart. Charlie is young. Fiona is big. Fiona is round. Fiona is white. Fiona is young. Harry is big. Harry is cold. White, smart things are cold. If Harry is cold and Harry is big then Harry is furry. If something is smart and white then it is furry. Big, young things are smart. If Fiona is cold then Fiona is big. If something is young then it is round. If Charlie is big and Charlie is cold then Charlie is white. Smart things are round.
Harry is not smart.
@0: Bob is furry.[(triple1)] Charlie is cold.[(triple2)] Charlie is smart.[(triple3)] Charlie is young.[(triple4)] Fiona is big.[(triple5)] Fiona is round.[(triple6 OR ((triple8) -> rule6) OR ((((triple5 triple8) -> rule4)) -> rule8))] Fiona is white.[(triple7)] Fiona is young.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10)] @1: Charlie is round.[(((triple3) -> rule8) OR ((triple4) -> rule6))] Fiona is smart.[(((triple5 triple8) -> rule4))] Harry is furry.[(((triple10 triple9) -> rule2))] @2: Fiona is cold.[(((triple7 ((triple5 triple8) -> rule4)) -> rule1))] Fiona is furry.[(((((triple5 triple8) -> rule4) triple7) -> rule3))]