Anne is nice. Bob is big. Fiona is furry. All red people are rough. Big, rough people are nice. Rough, furry people are big. If someone is big then they are rough. If Bob is blue then Bob is big. All nice, rough people are furry.
Bob is not nice.
@0: Anne is nice.[(triple1)] Bob is big.[(triple2)] Fiona is furry.[(triple3)] @1: Bob is rough.[(((triple2) -> rule4))] @2: Bob is nice.[(((triple2 ((triple2) -> rule4)) -> rule2))] @3: Bob is furry.[(((((triple2 ((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule6))]