Anne is not smart. Dave is cold. Dave is red. Dave is smart. Fiona is furry. Fiona is green. Fiona is not smart. If Anne is red and Anne is green then Anne is kind. If something is smart then it is green. If Fiona is not kind then Fiona is not green. Round things are cold. Smart, kind things are red. Green things are furry. If something is kind and smart then it is not round. Furry things are not round.
Dave is not round.
@0: Anne is not smart.[(triple1)] Dave is cold.[(triple2)] Dave is red.[(triple3)] Dave is smart.[(triple4)] Fiona is furry.[(triple5 OR ((triple6) -> rule6))] Fiona is green.[(triple6)] Fiona is not smart.[(triple7)] @1: Dave is green.[(((triple4) -> rule2))] Fiona is not round.[(((triple5) -> rule8) OR ((((triple6) -> rule6)) -> rule8))] @2: Dave is furry.[(((((triple4) -> rule2)) -> rule6))] @3: Dave is not round.[(((((((triple4) -> rule2)) -> rule6)) -> rule8))]