Bob is blue. Bob is cold. Bob is green. Bob is young. Dave is blue. Dave is furry. Dave is green. Dave is white. Dave is young. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is red. Fiona is white. Fiona is young. If someone is green then they are cold. Young people are red. If someone is furry and white then they are green.
Bob is not young.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple3) -> rule1))] Bob is green.[(triple3)] Bob is young.[(triple4)] Dave is blue.[(triple5)] Dave is furry.[(triple6)] Dave is green.[(triple7 OR ((triple6 triple8) -> rule3))] Dave is white.[(triple8)] Dave is young.[(triple9)] Fiona is blue.[(triple10)] Fiona is cold.[(triple11 OR ((triple13) -> rule1) OR ((((triple12 triple15) -> rule3)) -> rule1))] Fiona is furry.[(triple12)] Fiona is green.[(triple13 OR ((triple12 triple15) -> rule3))] Fiona is red.[(triple14 OR ((triple16) -> rule2))] Fiona is white.[(triple15)] Fiona is young.[(triple16)] @1: Bob is red.[(((triple4) -> rule2))] Dave is cold.[(((triple7) -> rule1) OR ((((triple6 triple8) -> rule3)) -> rule1))] Dave is red.[(((triple9) -> rule2))]