Bob is cold. Bob is furry. Bob is red. Bob is rough. Fiona is kind. Fiona is nice. Fiona is rough. If Fiona is kind and Fiona is furry then Fiona is big. All kind people are furry. Big people are furry.
Bob is not big.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Fiona is rough.[(triple7)] @1: Fiona is furry.[(((triple5) -> rule2))] @2: Fiona is big.[(((triple5 ((triple5) -> rule2)) -> rule1))]