Anne is quiet. Anne is red. Erin is furry. Erin is green. Fiona is furry. Fiona is green. Fiona is nice. Fiona is red. Fiona is young. Harry is big. Big people are quiet. Nice, quiet people are big. All quiet, furry people are big. If Anne is furry and Anne is green then Anne is nice. If someone is quiet and green then they are nice. If someone is quiet and nice then they are big. All big, nice people are red. All furry, red people are young. Green people are big.
Harry is not young.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple7 OR ((((((triple6) -> rule9)) -> rule1) triple6) -> rule5))] Fiona is red.[(triple8 OR ((((triple6) -> rule9) triple7) -> rule7) OR ((((triple6) -> rule9) ((((((triple6) -> rule9)) -> rule1) triple6) -> rule5)) -> rule7))] Fiona is young.[(triple9 OR ((triple5 triple8) -> rule8) OR ((triple5 ((((triple6) -> rule9) triple7) -> rule7)) -> rule8) OR ((triple5 ((((triple6) -> rule9) ((((((triple6) -> rule9)) -> rule1) triple6) -> rule5)) -> rule7)) -> rule8))] Harry is big.[(triple10)] @1: Erin is big.[(((triple4) -> rule9))] Fiona is big.[(((triple6) -> rule9))] Harry is quiet.[(((triple10) -> rule1))] @2: Erin is quiet.[(((((triple4) -> rule9)) -> rule1))] Fiona is quiet.[(((((triple6) -> rule9)) -> rule1))] @3: Erin is nice.[(((((((triple4) -> rule9)) -> rule1) triple4) -> rule5))] @4: Erin is red.[(((((triple4) -> rule9) ((((((triple4) -> rule9)) -> rule1) triple4) -> rule5)) -> rule7))] @5: Erin is young.[(((triple3 ((((triple4) -> rule9) ((((((triple4) -> rule9)) -> rule1) triple4) -> rule5)) -> rule7)) -> rule8))]