Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is quiet. Dave is red. Dave is white. Erin is big. Erin is cold. Erin is quiet. Erin is red. Erin is white. If Erin is quiet then Erin is red. All furry, blue things are quiet. If something is red then it is big. Cold things are blue. If Dave is blue and Dave is quiet then Dave is red. If Erin is blue and Erin is quiet then Erin is furry.
Erin is not blue.
@0: Dave is big.[(triple1 OR ((triple6) -> rule3) OR ((((triple2 triple5) -> rule5)) -> rule3) OR ((((triple2 ((triple4 triple2) -> rule2)) -> rule5)) -> rule3) OR ((((((triple3) -> rule4) triple5) -> rule5)) -> rule3) OR ((((((triple3) -> rule4) ((triple4 triple2) -> rule2)) -> rule5)) -> rule3) OR ((((triple2 ((triple4 ((triple3) -> rule4)) -> rule2)) -> rule5)) -> rule3) OR ((((((triple3) -> rule4) ((triple4 ((triple3) -> rule4)) -> rule2)) -> rule5)) -> rule3))] Dave is blue.[(triple2 OR ((triple3) -> rule4))] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is quiet.[(triple5 OR ((triple4 triple2) -> rule2) OR ((triple4 ((triple3) -> rule4)) -> rule2))] Dave is red.[(triple6 OR ((triple2 triple5) -> rule5) OR ((triple2 ((triple4 triple2) -> rule2)) -> rule5) OR ((((triple3) -> rule4) triple5) -> rule5) OR ((((triple3) -> rule4) ((triple4 triple2) -> rule2)) -> rule5) OR ((triple2 ((triple4 ((triple3) -> rule4)) -> rule2)) -> rule5) OR ((((triple3) -> rule4) ((triple4 ((triple3) -> rule4)) -> rule2)) -> rule5))] Dave is white.[(triple7)] Erin is big.[(triple8 OR ((triple11) -> rule3) OR ((((triple10) -> rule1)) -> rule3))] Erin is cold.[(triple9)] Erin is quiet.[(triple10)] Erin is red.[(triple11 OR ((triple10) -> rule1))] Erin is white.[(triple12)] @1: Erin is blue.[(((triple9) -> rule4))] @2: Erin is furry.[(((((triple9) -> rule4) triple10) -> rule6))]