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