Anne is cold. Anne is furry. Anne is green. Anne is nice. Charlie is cold. Charlie is green. Charlie is nice. Charlie is round. Charlie is white. Charlie is young. Dave is not cold. Dave is round. Dave is white. Dave is young. Fiona is cold. Fiona is white. All white things are nice. If something is round then it is nice. If something is white and nice then it is furry. Young, cold things are white. All white, round things are green. Round things are young.
Dave is furry.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Charlie is cold.[(triple5)] Charlie is green.[(triple6 OR ((triple9 triple8) -> rule5) OR ((((triple10 triple5) -> rule4) triple8) -> rule5) OR ((((((triple8) -> rule6) triple5) -> rule4) triple8) -> rule5))] Charlie is nice.[(triple7 OR ((triple8) -> rule2) OR ((triple9) -> rule1) OR ((((triple10 triple5) -> rule4)) -> rule1) OR ((((((triple8) -> rule6) triple5) -> rule4)) -> rule1))] Charlie is round.[(triple8)] Charlie is white.[(triple9 OR ((triple10 triple5) -> rule4) OR ((((triple8) -> rule6) triple5) -> rule4))] Charlie is young.[(triple10 OR ((triple8) -> rule6))] Dave is not cold.[(triple11)] Dave is round.[(triple12)] Dave is white.[(triple13)] Dave is young.[(triple14 OR ((triple12) -> rule6))] Fiona is cold.[(triple15)] Fiona is white.[(triple16)] @1: Charlie is furry.[(((triple9 triple7) -> rule3) OR ((triple9 ((triple8) -> rule2)) -> rule3) OR ((triple9 ((triple9) -> rule1)) -> rule3) OR ((((triple10 triple5) -> rule4) triple7) -> rule3) OR ((((triple10 triple5) -> rule4) ((triple8) -> rule2)) -> rule3) OR ((((triple10 triple5) -> rule4) ((triple9) -> rule1)) -> rule3) OR ((triple9 ((((triple10 triple5) -> rule4)) -> rule1)) -> rule3) OR ((((((triple8) -> rule6) triple5) -> rule4) triple7) -> rule3) OR ((((triple10 triple5) -> rule4) ((((triple10 triple5) -> rule4)) -> rule1)) -> rule3) OR ((((((triple8) -> rule6) triple5) -> rule4) ((triple8) -> rule2)) -> rule3) OR ((((((triple8) -> rule6) triple5) -> rule4) ((triple9) -> rule1)) -> rule3) OR ((((((triple8) -> rule6) triple5) -> rule4) ((((triple10 triple5) -> rule4)) -> rule1)) -> rule3) OR ((triple9 ((((((triple8) -> rule6) triple5) -> rule4)) -> rule1)) -> rule3) OR ((((triple10 triple5) -> rule4) ((((((triple8) -> rule6) triple5) -> rule4)) -> rule1)) -> rule3) OR ((((((triple8) -> rule6) triple5) -> rule4) ((((((triple8) -> rule6) triple5) -> rule4)) -> rule1)) -> rule3))] Dave is green.[(((triple13 triple12) -> rule5))] Dave is nice.[(((triple12) -> rule2) OR ((triple13) -> rule1))] Fiona is nice.[(((triple16) -> rule1))] @2: Dave is furry.[(((triple13 ((triple12) -> rule2)) -> rule3) OR ((triple13 ((triple13) -> rule1)) -> rule3))] Fiona is furry.[(((triple16 ((triple16) -> rule1)) -> rule3))]