Anne is green. Anne is nice. Anne is young. Bob is big. Bob is furry. Bob is green. Bob is nice. Erin is young. Fiona is nice. Fiona is quiet. If something is big then it is green. Big, quiet things are furry. If something is young then it is green. If something is young and blue then it is big. If something is nice and furry then it is big. All young, green things are big. Quiet, furry things are young. If Erin is blue then Erin is furry.
Bob is not young.
@0: Anne is green.[(triple1 OR ((triple3) -> rule3))] Anne is nice.[(triple2)] Anne is young.[(triple3)] Bob is big.[(triple4 OR ((triple7 triple5) -> rule5))] Bob is furry.[(triple5)] Bob is green.[(triple6 OR ((triple4) -> rule1) OR ((((triple7 triple5) -> rule5)) -> rule1))] Bob is nice.[(triple7)] Erin is young.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] @1: Anne is big.[(((triple3 triple1) -> rule6) OR ((triple3 ((triple3) -> rule3)) -> rule6))] Erin is green.[(((triple8) -> rule3))] @2: Erin is big.[(((triple8 ((triple8) -> rule3)) -> rule6))]