Dave is blue. Dave is green. Dave is nice. Dave is red. Dave is white. Fiona is blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is red. Fiona is round. Fiona is white. If something is red then it is white. If something is red and not green then it is not white. All green things are red. If Dave is nice then Dave is furry. If something is blue then it is furry. Red, blue things are furry. If something is green and not nice then it is blue. If something is green and not white then it is blue.
Dave is not nice.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4 OR ((triple2) -> rule3))] Dave is white.[(triple5 OR ((triple4) -> rule1) OR ((((triple2) -> rule3)) -> rule1))] Fiona is blue.[(triple6)] Fiona is furry.[(triple7 OR ((triple6) -> rule5) OR ((triple10 triple6) -> rule6) OR ((((triple8) -> rule3) triple6) -> rule6))] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is red.[(triple10 OR ((triple8) -> rule3))] Fiona is round.[(triple11)] Fiona is white.[(triple12 OR ((triple10) -> rule1) OR ((((triple8) -> rule3)) -> rule1))] @1: Dave is furry.[(((triple1) -> rule5) OR ((triple3) -> rule4) OR ((triple4 triple1) -> rule6) OR ((((triple2) -> rule3) triple1) -> rule6))]