Anne is nice. Bob is big. Gary is furry. Harry is quiet. All quiet things are red. Big, round things are rough. All big things are round. All nice, furry things are big. If something is furry then it is big. Nice things are rough.
Anne is nice.
@0: Anne is nice.[(triple1)] Bob is big.[(triple2)] Gary is furry.[(triple3)] Harry is quiet.[(triple4)] @1: Anne is rough.[(((triple1) -> rule6))] Bob is round.[(((triple2) -> rule3))] Gary is big.[(((triple3) -> rule5))] Harry is red.[(((triple4) -> rule1))] @2: Bob is rough.[(((triple2 ((triple2) -> rule3)) -> rule2))] Gary is round.[(((((triple3) -> rule5)) -> rule3))] @3: Gary is rough.[(((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule3)) -> rule2))]