Anne is furry. Anne is not round. Anne is not young. Bob is blue. Bob is not furry. Bob is nice. Bob is red. Bob is round. Bob is smart. Bob is young. Dave is blue. Dave is red. Dave is round. Fiona is blue. Fiona is round. Fiona is young. Young, round things are smart. If something is red then it is nice. If Anne is young then Anne is nice.
Fiona is round.
@0: Anne is furry.[(triple1)] Anne is not round.[(triple2)] Anne is not young.[(triple3)] Bob is blue.[(triple4)] Bob is nice.[(triple6 OR ((triple7) -> rule2))] Bob is not furry.[(triple5)] Bob is red.[(triple7)] Bob is round.[(triple8)] Bob is smart.[(triple9 OR ((triple10 triple8) -> rule1))] Bob is young.[(triple10)] Dave is blue.[(triple11)] Dave is red.[(triple12)] Dave is round.[(triple13)] Fiona is blue.[(triple14)] Fiona is round.[(triple15)] Fiona is young.[(triple16)] @1: Dave is nice.[(((triple12) -> rule2))] Fiona is smart.[(((triple16 triple15) -> rule1))]