Anne is quiet. Bob is furry. Dave is quiet. Fiona is blue. All blue, quiet things are big. If something is round then it is red. If Bob is quiet then Bob is big. All furry things are quiet. All red things are big. All big, furry things are red.
Bob is quiet.
@0: Anne is quiet.[(triple1)] Bob is furry.[(triple2)] Dave is quiet.[(triple3)] Fiona is blue.[(triple4)] @1: Bob is quiet.[(((triple2) -> rule4))] @2: Bob is big.[(((((triple2) -> rule4)) -> rule3))] @3: Bob is red.[(((((((triple2) -> rule4)) -> rule3) triple2) -> rule6))]