Bob is furry. Bob is white. Fiona is rough. If someone is white and rough then they are big. Red people are rough. If someone is furry then they are red.
Bob is not red.
@0: Bob is furry.[(triple1)] Bob is white.[(triple2)] Fiona is rough.[(triple3)] @1: Bob is red.[(((triple1) -> rule3))] @2: Bob is rough.[(((((triple1) -> rule3)) -> rule2))] @3: Bob is big.[(((triple2 ((((triple1) -> rule3)) -> rule2)) -> rule1))]