Bob is nice. Fiona is big. Fiona is round. If Bob is big then Bob is rough. If Fiona is white and Fiona is not rough then Fiona is not nice. If Fiona is kind then Fiona is not nice. Nice people are big. If Fiona is white then Fiona is round. If someone is rough then they are furry. If Fiona is not round then Fiona is not furry. If Fiona is round then Fiona is not furry.
Bob is not furry.
@0: Bob is nice.[(triple1)] Fiona is big.[(triple2)] Fiona is round.[(triple3)] @1: Bob is big.[(((triple1) -> rule4))] Fiona is not furry.[(((triple3) -> rule8))] @2: Bob is rough.[(((((triple1) -> rule4)) -> rule1))] @3: Bob is furry.[(((((((triple1) -> rule4)) -> rule1)) -> rule6))]