Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is red. Bob is white. Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is red. Dave is white. Fiona is cold. Fiona is furry. Fiona is green. Fiona is white. If something is white then it is blue. If something is red then it is furry. Nice, cold things are green.
Fiona is red.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple5) -> rule2))] Bob is green.[(triple3 OR ((triple4 triple1) -> rule3))] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is white.[(triple6)] Dave is cold.[(triple7)] Dave is furry.[(triple8 OR ((triple11) -> rule2))] Dave is green.[(triple9 OR ((triple10 triple7) -> rule3))] Dave is nice.[(triple10)] Dave is red.[(triple11)] Dave is white.[(triple12)] Fiona is cold.[(triple13)] Fiona is furry.[(triple14)] Fiona is green.[(triple15)] Fiona is white.[(triple16)] @1: Bob is blue.[(((triple6) -> rule1))] Dave is blue.[(((triple12) -> rule1))] Fiona is blue.[(((triple16) -> rule1))]