Anne is green. Anne is white. Bob is smart. Charlie is nice. Erin is furry. Erin is green. Erin is round. If something is quiet then it is green. White things are round. If something is quiet then it is furry. If Erin is green then Erin is furry. All green things are nice. All furry, nice things are round.
Anne is green.
@0: Anne is green.[(triple1)] Anne is white.[(triple2)] Bob is smart.[(triple3)] Charlie is nice.[(triple4)] Erin is furry.[(triple5 OR ((triple6) -> rule4))] Erin is green.[(triple6)] Erin is round.[(triple7 OR ((triple5 ((triple6) -> rule5)) -> rule6) OR ((((triple6) -> rule4) ((triple6) -> rule5)) -> rule6))] @1: Anne is nice.[(((triple1) -> rule5))] Anne is round.[(((triple2) -> rule2))] Erin is nice.[(((triple6) -> rule5))]