Dave is blue. Dave is furry. Dave is green. Dave is quiet. Erin is blue. Erin is furry. Erin is green. Erin is quiet. Erin is round. Erin is smart. Erin is white. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is smart. Fiona is white. Blue, quiet things are round. If something is smart then it is green. If Erin is furry then Erin is white. Quiet, blue things are round. If Dave is quiet and Dave is round then Dave is white. If something is quiet and green then it is blue. All blue, smart things are green. If something is white then it is smart.
Fiona is not round.
@0: Dave is blue.[(triple1 OR ((triple4 triple3) -> rule6))] Dave is furry.[(triple2)] Dave is green.[(triple3 OR ((((((triple4 ((triple1 triple4) -> rule1)) -> rule5)) -> rule8)) -> rule2) OR ((((((triple4 ((triple4 triple1) -> rule4)) -> rule5)) -> rule8)) -> rule2) OR ((triple1 ((((triple4 ((triple1 triple4) -> rule1)) -> rule5)) -> rule8)) -> rule7) OR ((triple1 ((((triple4 ((triple4 triple1) -> rule4)) -> rule5)) -> rule8)) -> rule7))] Dave is quiet.[(triple4)] Erin is blue.[(triple5 OR ((triple8 triple7) -> rule6) OR ((triple8 ((triple10) -> rule2)) -> rule6) OR ((triple8 ((((triple11) -> rule8)) -> rule2)) -> rule6) OR ((triple8 ((((((triple6) -> rule3)) -> rule8)) -> rule2)) -> rule6))] Erin is furry.[(triple6)] Erin is green.[(triple7 OR ((triple10) -> rule2) OR ((triple5 triple10) -> rule7) OR ((((triple11) -> rule8)) -> rule2) OR ((triple5 ((triple11) -> rule8)) -> rule7) OR ((((((triple6) -> rule3)) -> rule8)) -> rule2) OR ((triple5 ((((triple6) -> rule3)) -> rule8)) -> rule7))] Erin is quiet.[(triple8)] Erin is round.[(triple9 OR ((triple5 triple8) -> rule1) OR ((triple8 triple5) -> rule4) OR ((triple8 ((triple8 triple7) -> rule6)) -> rule4) OR ((((triple8 triple7) -> rule6) triple8) -> rule1) OR ((triple8 ((triple8 ((triple10) -> rule2)) -> rule6)) -> rule4) OR ((((triple8 ((triple10) -> rule2)) -> rule6) triple8) -> rule1) OR ((triple8 ((triple8 ((((triple11) -> rule8)) -> rule2)) -> rule6)) -> rule4) OR ((((triple8 ((((triple11) -> rule8)) -> rule2)) -> rule6) triple8) -> rule1) OR ((triple8 ((triple8 ((((((triple6) -> rule3)) -> rule8)) -> rule2)) -> rule6)) -> rule4) OR ((((triple8 ((((((triple6) -> rule3)) -> rule8)) -> rule2)) -> rule6) triple8) -> rule1))] Erin is smart.[(triple10 OR ((triple11) -> rule8) OR ((((triple6) -> rule3)) -> rule8))] Erin is white.[(triple11 OR ((triple6) -> rule3))] Fiona is furry.[(triple12)] Fiona is green.[(triple13 OR ((triple15) -> rule2) OR ((((triple16) -> rule8)) -> rule2))] Fiona is quiet.[(triple14)] Fiona is smart.[(triple15 OR ((triple16) -> rule8))] Fiona is white.[(triple16)] @1: Dave is round.[(((triple1 triple4) -> rule1) OR ((triple4 triple1) -> rule4) OR ((triple4 ((triple4 triple3) -> rule6)) -> rule4) OR ((((triple4 triple3) -> rule6) triple4) -> rule1))] Fiona is blue.[(((triple14 triple13) -> rule6) OR ((triple14 ((triple15) -> rule2)) -> rule6) OR ((triple14 ((((triple16) -> rule8)) -> rule2)) -> rule6))] @2: Dave is white.[(((triple4 ((triple1 triple4) -> rule1)) -> rule5) OR ((triple4 ((triple4 triple1) -> rule4)) -> rule5) OR ((triple4 ((triple4 ((triple4 triple3) -> rule6)) -> rule4)) -> rule5) OR ((triple4 ((((triple4 triple3) -> rule6) triple4) -> rule1)) -> rule5))] Fiona is round.[(((triple14 ((triple14 triple13) -> rule6)) -> rule4) OR ((((triple14 triple13) -> rule6) triple14) -> rule1) OR ((triple14 ((triple14 ((triple15) -> rule2)) -> rule6)) -> rule4) OR ((((triple14 ((triple15) -> rule2)) -> rule6) triple14) -> rule1) OR ((triple14 ((triple14 ((((triple16) -> rule8)) -> rule2)) -> rule6)) -> rule4) OR ((((triple14 ((((triple16) -> rule8)) -> rule2)) -> rule6) triple14) -> rule1))] @3: Dave is smart.[(((((triple4 ((triple1 triple4) -> rule1)) -> rule5)) -> rule8) OR ((((triple4 ((triple4 triple1) -> rule4)) -> rule5)) -> rule8) OR ((((triple4 ((triple4 ((triple4 triple3) -> rule6)) -> rule4)) -> rule5)) -> rule8) OR ((((triple4 ((((triple4 triple3) -> rule6) triple4) -> rule1)) -> rule5)) -> rule8))]