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