Anne is blue. Anne is cold. Anne is green. Anne is smart. Anne is white. Dave is blue. Dave is green. Dave is quiet. Dave is smart. Dave is white. Erin is big. Erin is blue. Erin is cold. Erin is quiet. Erin is smart. Smart things are quiet. Green, quiet things are big. All big things are blue. If Anne is quiet and Anne is blue then Anne is smart. If something is smart and blue then it is green. If Anne is smart then Anne is green.
Anne is big.
@0: Anne is blue.[(triple1 OR ((((triple3 ((triple4) -> rule1)) -> rule2)) -> rule3) OR ((((((triple4) -> rule6) ((triple4) -> rule1)) -> rule2)) -> rule3))] Anne is cold.[(triple2)] Anne is green.[(triple3 OR ((triple4) -> rule6) OR ((triple4 triple1) -> rule5))] Anne is smart.[(triple4)] Anne is white.[(triple5)] Dave is blue.[(triple6 OR ((((triple7 triple8) -> rule2)) -> rule3) OR ((((triple7 ((triple9) -> rule1)) -> rule2)) -> rule3))] Dave is green.[(triple7 OR ((triple9 triple6) -> rule5))] Dave is quiet.[(triple8 OR ((triple9) -> rule1))] Dave is smart.[(triple9)] Dave is white.[(triple10)] Erin is big.[(triple11 OR ((((triple15 triple12) -> rule5) triple14) -> rule2) OR ((((triple15 triple12) -> rule5) ((triple15) -> rule1)) -> rule2))] Erin is blue.[(triple12 OR ((triple11) -> rule3))] Erin is cold.[(triple13)] Erin is quiet.[(triple14 OR ((triple15) -> rule1))] Erin is smart.[(triple15)] @1: Anne is quiet.[(((triple4) -> rule1))] Dave is big.[(((triple7 triple8) -> rule2) OR ((triple7 ((triple9) -> rule1)) -> rule2) OR ((((triple9 triple6) -> rule5) triple8) -> rule2) OR ((((triple9 triple6) -> rule5) ((triple9) -> rule1)) -> rule2))] Erin is green.[(((triple15 triple12) -> rule5) OR ((triple15 ((triple11) -> rule3)) -> rule5))] @2: Anne is big.[(((triple3 ((triple4) -> rule1)) -> rule2) OR ((((triple4) -> rule6) ((triple4) -> rule1)) -> rule2) OR ((((triple4 triple1) -> rule5) ((triple4) -> rule1)) -> rule2))]