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