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