Bob is cold. Bob is green. Bob is nice. Dave is cold. Dave is smart. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Gary is blue. If someone is cold then they are nice. If someone is green and blue then they are smart. Smart, nice people are furry.
Bob is cold.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3 OR ((triple1) -> rule1))] Dave is cold.[(triple4)] Dave is smart.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7)] Fiona is furry.[(triple8 OR ((((triple9 triple6) -> rule2) ((triple7) -> rule1)) -> rule3))] Fiona is green.[(triple9)] Gary is blue.[(triple10)] @1: Dave is nice.[(((triple4) -> rule1))] Fiona is nice.[(((triple7) -> rule1))] Fiona is smart.[(((triple9 triple6) -> rule2))] @2: Dave is furry.[(((triple5 ((triple4) -> rule1)) -> rule3))]