Dave is cold. Erin is big. Fiona is big. Harry is not blue. If something is round and big then it is young. All cold things are furry. If something is round and big then it is white. If something is big then it is round. If something is cold and not blue then it is round. White things are round. All white, big things are cold. If Harry is young then Harry is not round.
Fiona is not cold.
@0: Dave is cold.[(triple1)] Erin is big.[(triple2)] Fiona is big.[(triple3)] Harry is not blue.[(triple4)] @1: Dave is furry.[(((triple1) -> rule2))] Erin is round.[(((triple2) -> rule4))] Fiona is round.[(((triple3) -> rule4))] @2: Erin is white.[(((((triple2) -> rule4) triple2) -> rule3))] Erin is young.[(((((triple2) -> rule4) triple2) -> rule1))] Fiona is white.[(((((triple3) -> rule4) triple3) -> rule3))] Fiona is young.[(((((triple3) -> rule4) triple3) -> rule1))] @3: Erin is cold.[(((((((triple2) -> rule4) triple2) -> rule3) triple2) -> rule7))] Fiona is cold.[(((((((triple3) -> rule4) triple3) -> rule3) triple3) -> rule7))] @4: Erin is furry.[(((((((((triple2) -> rule4) triple2) -> rule3) triple2) -> rule7)) -> rule2))] Fiona is furry.[(((((((((triple3) -> rule4) triple3) -> rule3) triple3) -> rule7)) -> rule2))]