Anne is blue. Anne is cold. Anne is green. Anne is nice. Bob is cold. Bob is furry. Bob is green. Bob is young. Fiona is furry. Fiona is red. All cold people are young. If Bob is cold and Bob is furry then Bob is blue. Young, blue people are furry.
Fiona is not young.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Bob is cold.[(triple5)] Bob is furry.[(triple6)] Bob is green.[(triple7)] Bob is young.[(triple8 OR ((triple5) -> rule1))] Fiona is furry.[(triple9)] Fiona is red.[(triple10)] @1: Anne is young.[(((triple2) -> rule1))] Bob is blue.[(((triple5 triple6) -> rule2))] @2: Anne is furry.[(((((triple2) -> rule1) triple1) -> rule3))]