Dave is blue. Dave is green. Dave is nice. Dave is red. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is white. Harry is blue. Harry is furry. Harry is green. Harry is nice. Harry is red. Harry is white. Nice, green things are white.
Harry is not kind.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4)] Fiona is blue.[(triple5)] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is red.[(triple9)] Fiona is white.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12)] Harry is green.[(triple13)] Harry is nice.[(triple14)] Harry is red.[(triple15)] Harry is white.[(triple16 OR ((triple14 triple13) -> rule1))] @1: Dave is white.[(((triple3 triple2) -> rule1))]