Anne is furry. Anne is nice. Anne is rough. Anne is round. Bob is blue. Bob is red. Bob is round. Bob is white. Dave is red. Dave is round. Dave is white. Harry is furry. Harry is red. Harry is rough. Harry is white. Rough, round things are furry. If something is furry and white then it is nice. If something is round then it is rough.
Anne is not blue.
@0: Anne is furry.[(triple1 OR ((triple3 triple4) -> rule1) OR ((((triple4) -> rule3) triple4) -> rule1))] Anne is nice.[(triple2)] Anne is rough.[(triple3 OR ((triple4) -> rule3))] Anne is round.[(triple4)] Bob is blue.[(triple5)] Bob is red.[(triple6)] Bob is round.[(triple7)] Bob is white.[(triple8)] Dave is red.[(triple9)] Dave is round.[(triple10)] Dave is white.[(triple11)] Harry is furry.[(triple12)] Harry is red.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15)] @1: Bob is rough.[(((triple7) -> rule3))] Dave is rough.[(((triple10) -> rule3))] Harry is nice.[(((triple12 triple15) -> rule2))] @2: Bob is furry.[(((((triple7) -> rule3) triple7) -> rule1))] Dave is furry.[(((((triple10) -> rule3) triple10) -> rule1))] @3: Bob is nice.[(((((((triple7) -> rule3) triple7) -> rule1) triple8) -> rule2))] Dave is nice.[(((((((triple10) -> rule3) triple10) -> rule1) triple11) -> rule2))]