Bob is big. Bob is kind. Bob is white. Dave is blue. Dave is furry. Dave is white. Fiona is cold. If someone is cold and furry then they are young. Furry people are cold. If someone is young then they are kind.
Dave is cold.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is white.[(triple3)] Dave is blue.[(triple4)] Dave is furry.[(triple5)] Dave is white.[(triple6)] Fiona is cold.[(triple7)] @1: Dave is cold.[(((triple5) -> rule2))] @2: Dave is young.[(((((triple5) -> rule2) triple5) -> rule1))] @3: Dave is kind.[(((((((triple5) -> rule2) triple5) -> rule1)) -> rule3))]