Anne is rough. Anne is not round. Fiona is blue. Fiona is round. Gary is green. Harry is blue. Harry is green. If someone is round then they are big. Nice people are green. Big, furry people are round. If someone is big then they are round. If someone is blue and green then they are not rough. Big, round people are furry. Furry people are nice.
Anne is big.
@0: Anne is not round.[(triple2)] Anne is rough.[(triple1)] Fiona is blue.[(triple3)] Fiona is round.[(triple4)] Gary is green.[(triple5)] Harry is blue.[(triple6)] Harry is green.[(triple7)] @1: Fiona is big.[(((triple4) -> rule1))] Harry is not rough.[(((triple6 triple7) -> rule5))] @2: Fiona is furry.[(((((triple4) -> rule1) triple4) -> rule6))] @3: Fiona is nice.[(((((((triple4) -> rule1) triple4) -> rule6)) -> rule7))] @4: Fiona is green.[(((((((((triple4) -> rule1) triple4) -> rule6)) -> rule7)) -> rule2))] @5: Fiona is not rough.[(((triple3 ((((((((triple4) -> rule1) triple4) -> rule6)) -> rule7)) -> rule2)) -> rule5))]