Bob is furry. Bob is green. Bob is red. Dave is big. Dave is white. Fiona is furry. Fiona is rough. All red things are big. All rough, big things are not green. Rough things are red. If something is quiet and red then it is rough. If something is green and not big then it is furry. If something is green and not quiet then it is not furry. If Fiona is not big then Fiona is white. If Fiona is rough and Fiona is not white then Fiona is furry.
Bob is big.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Dave is big.[(triple4)] Dave is white.[(triple5)] Fiona is furry.[(triple6)] Fiona is rough.[(triple7)] @1: Bob is big.[(((triple3) -> rule1))] Fiona is red.[(((triple7) -> rule3))] @2: Fiona is big.[(((((triple7) -> rule3)) -> rule1))] @3: Fiona is not green.[(((triple7 ((((triple7) -> rule3)) -> rule1)) -> rule2))]