Anne is blue. Anne is furry. Anne is nice. Anne is smart. Anne is white. Dave is blue. Dave is white. Erin is blue. Erin is furry. Erin is green. Erin is smart. Gary is big. All blue things are big. If Dave is smart and Dave is big then Dave is green. Big things are green. If Gary is nice and Gary is smart then Gary is blue. If something is furry and blue then it is big. If something is green then it is white.
Dave is smart.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((((((triple1) -> rule1)) -> rule3)) -> rule6) OR ((((((triple2 triple1) -> rule5)) -> rule3)) -> rule6))] Dave is blue.[(triple6)] Dave is white.[(triple7 OR ((((((triple6) -> rule1)) -> rule3)) -> rule6))] Erin is blue.[(triple8)] Erin is furry.[(triple9)] Erin is green.[(triple10 OR ((((triple8) -> rule1)) -> rule3) OR ((((triple9 triple8) -> rule5)) -> rule3))] Erin is smart.[(triple11)] Gary is big.[(triple12)] @1: Anne is big.[(((triple1) -> rule1) OR ((triple2 triple1) -> rule5))] Dave is big.[(((triple6) -> rule1))] Erin is big.[(((triple8) -> rule1) OR ((triple9 triple8) -> rule5))] Erin is white.[(((triple10) -> rule6) OR ((((((triple8) -> rule1)) -> rule3)) -> rule6) OR ((((((triple9 triple8) -> rule5)) -> rule3)) -> rule6))] Gary is green.[(((triple12) -> rule3))] @2: Anne is green.[(((((triple1) -> rule1)) -> rule3) OR ((((triple2 triple1) -> rule5)) -> rule3))] Dave is green.[(((((triple6) -> rule1)) -> rule3))] Gary is white.[(((((triple12) -> rule3)) -> rule6))]