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