Anne is cold. Anne is green. Anne is nice. Anne is white. Anne is young. Bob is cold. Bob is kind. Bob is young. Dave is blue. Dave is cold. Dave is green. Fiona is blue. Fiona is cold. Fiona is green. Fiona is white. Fiona is young. Kind things are white. All white things are green. If something is young and green then it is blue.
Dave is kind.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple4) -> rule2))] Anne is nice.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Bob is cold.[(triple6)] Bob is kind.[(triple7)] Bob is young.[(triple8)] Dave is blue.[(triple9)] Dave is cold.[(triple10)] Dave is green.[(triple11)] Fiona is blue.[(triple12 OR ((triple16 triple14) -> rule3) OR ((triple16 ((triple15) -> rule2)) -> rule3))] Fiona is cold.[(triple13)] Fiona is green.[(triple14 OR ((triple15) -> rule2))] Fiona is white.[(triple15)] Fiona is young.[(triple16)] @1: Anne is blue.[(((triple5 triple2) -> rule3) OR ((triple5 ((triple4) -> rule2)) -> rule3))] Bob is white.[(((triple7) -> rule1))] @2: Bob is green.[(((((triple7) -> rule1)) -> rule2))] @3: Bob is blue.[(((triple8 ((((triple7) -> rule1)) -> rule2)) -> rule3))]