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