Dave is round. Dave is smart. Erin is cold. Erin is not kind. Fiona is smart. Fiona is young. Harry is furry. Smart people are young. Furry people are cold. If someone is cold then they are smart.
Dave is not cold.
@0: Dave is round.[(triple1)] Dave is smart.[(triple2)] Erin is cold.[(triple3)] Erin is not kind.[(triple4)] Fiona is smart.[(triple5)] Fiona is young.[(triple6 OR ((triple5) -> rule1))] Harry is furry.[(triple7)] @1: Dave is young.[(((triple2) -> rule1))] Erin is smart.[(((triple3) -> rule3))] Harry is cold.[(((triple7) -> rule2))] @2: Erin is young.[(((((triple3) -> rule3)) -> rule1))] Harry is smart.[(((((triple7) -> rule2)) -> rule3))] @3: Harry is young.[(((((((triple7) -> rule2)) -> rule3)) -> rule1))]