Anne is furry. Anne is round. Anne is smart. Dave is round. Dave is young. Fiona is furry. Fiona is young. If something is nice and smart then it is blue. All round, smart things are nice. Smart, round things are young. If something is cold and blue then it is young. Smart, young things are furry. If Dave is cold then Dave is blue. Cold things are furry. If Anne is nice then Anne is furry.
Dave is not furry.
@0: Anne is furry.[(triple1 OR ((((triple2 triple3) -> rule2)) -> rule8) OR ((triple3 ((triple3 triple2) -> rule3)) -> rule5))] Anne is round.[(triple2)] Anne is smart.[(triple3)] Dave is round.[(triple4)] Dave is young.[(triple5)] Fiona is furry.[(triple6)] Fiona is young.[(triple7)] @1: Anne is nice.[(((triple2 triple3) -> rule2))] Anne is young.[(((triple3 triple2) -> rule3))] @2: Anne is blue.[(((((triple2 triple3) -> rule2) triple3) -> rule1))]