Anne is furry. Anne is green. Anne is quiet. Anne is red. Anne is rough. Anne is round. Dave is blue. Dave is furry. Dave is green. Dave is quiet. Dave is red. Dave is rough. Dave is round. Fiona is red. Fiona is rough. Fiona is round. Green, quiet things are furry. All round, red things are green. All green things are quiet.
Dave is not red.
@0: Anne is furry.[(triple1 OR ((triple2 triple3) -> rule1) OR ((triple2 ((triple2) -> rule3)) -> rule1) OR ((((triple6 triple4) -> rule2) triple3) -> rule1) OR ((((triple6 triple4) -> rule2) ((triple2) -> rule3)) -> rule1) OR ((triple2 ((((triple6 triple4) -> rule2)) -> rule3)) -> rule1) OR ((((triple6 triple4) -> rule2) ((((triple6 triple4) -> rule2)) -> rule3)) -> rule1))] Anne is green.[(triple2 OR ((triple6 triple4) -> rule2))] Anne is quiet.[(triple3 OR ((triple2) -> rule3) OR ((((triple6 triple4) -> rule2)) -> rule3))] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Dave is blue.[(triple7)] Dave is furry.[(triple8 OR ((triple9 triple10) -> rule1) OR ((triple9 ((triple9) -> rule3)) -> rule1) OR ((((triple13 triple11) -> rule2) triple10) -> rule1) OR ((((triple13 triple11) -> rule2) ((triple9) -> rule3)) -> rule1) OR ((triple9 ((((triple13 triple11) -> rule2)) -> rule3)) -> rule1) OR ((((triple13 triple11) -> rule2) ((((triple13 triple11) -> rule2)) -> rule3)) -> rule1))] Dave is green.[(triple9 OR ((triple13 triple11) -> rule2))] Dave is quiet.[(triple10 OR ((triple9) -> rule3) OR ((((triple13 triple11) -> rule2)) -> rule3))] Dave is red.[(triple11)] Dave is rough.[(triple12)] Dave is round.[(triple13)] Fiona is red.[(triple14)] Fiona is rough.[(triple15)] Fiona is round.[(triple16)] @1: Fiona is green.[(((triple16 triple14) -> rule2))] @2: Fiona is quiet.[(((((triple16 triple14) -> rule2)) -> rule3))] @3: Fiona is furry.[(((((triple16 triple14) -> rule2) ((((triple16 triple14) -> rule2)) -> rule3)) -> rule1))]