Anne is big. Anne is cold. Anne is nice. Anne is quiet. Anne is round. Dave is big. Dave is blue. Dave is nice. Dave is red. Erin is big. Erin is blue. Erin is cold. Erin is nice. Erin is quiet. Erin is red. Erin is round. If Anne is big and Anne is quiet then Anne is blue. Blue things are round. If something is cold and nice then it is round. If Dave is round then Dave is big. Red, blue things are cold. All big, quiet things are red. If Anne is big then Anne is red. All blue, nice things are quiet.
Anne is quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((((triple1) -> rule7) ((triple1 triple4) -> rule1)) -> rule5) OR ((((triple1 triple4) -> rule6) ((triple1 triple4) -> rule1)) -> rule5))] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is round.[(triple5 OR ((triple2 triple3) -> rule3) OR ((((triple1 triple4) -> rule1)) -> rule2) OR ((((((triple1) -> rule7) ((triple1 triple4) -> rule1)) -> rule5) triple3) -> rule3) OR ((((((triple1 triple4) -> rule6) ((triple1 triple4) -> rule1)) -> rule5) triple3) -> rule3))] Dave is big.[(triple6 OR ((((triple7) -> rule2)) -> rule4) OR ((((((triple9 triple7) -> rule5) triple8) -> rule3)) -> rule4))] Dave is blue.[(triple7)] Dave is nice.[(triple8)] Dave is red.[(triple9 OR ((triple6 ((triple7 triple8) -> rule8)) -> rule6) OR ((((((triple7) -> rule2)) -> rule4) ((triple7 triple8) -> rule8)) -> rule6))] Erin is big.[(triple10)] Erin is blue.[(triple11)] Erin is cold.[(triple12 OR ((triple15 triple11) -> rule5) OR ((((triple10 triple14) -> rule6) triple11) -> rule5) OR ((((triple10 ((triple11 triple13) -> rule8)) -> rule6) triple11) -> rule5))] Erin is nice.[(triple13)] Erin is quiet.[(triple14 OR ((triple11 triple13) -> rule8))] Erin is red.[(triple15 OR ((triple10 triple14) -> rule6) OR ((triple10 ((triple11 triple13) -> rule8)) -> rule6))] Erin is round.[(triple16 OR ((triple11) -> rule2) OR ((triple12 triple13) -> rule3) OR ((((triple15 triple11) -> rule5) triple13) -> rule3) OR ((((((triple10 triple14) -> rule6) triple11) -> rule5) triple13) -> rule3) OR ((((((triple10 ((triple11 triple13) -> rule8)) -> rule6) triple11) -> rule5) triple13) -> rule3))] @1: Anne is blue.[(((triple1 triple4) -> rule1))] Anne is red.[(((triple1) -> rule7) OR ((triple1 triple4) -> rule6))] Dave is cold.[(((triple9 triple7) -> rule5) OR ((((triple6 ((triple7 triple8) -> rule8)) -> rule6) triple7) -> rule5) OR ((((((((triple7) -> rule2)) -> rule4) ((triple7 triple8) -> rule8)) -> rule6) triple7) -> rule5))] Dave is quiet.[(((triple7 triple8) -> rule8))] Dave is round.[(((triple7) -> rule2) OR ((((triple9 triple7) -> rule5) triple8) -> rule3) OR ((((((triple6 ((triple7 triple8) -> rule8)) -> rule6) triple7) -> rule5) triple8) -> rule3))]