Dave is cold. Dave is green. Dave is kind. Erin is cold. Erin is green. Erin is kind. Erin is round. All blue, round things are cold. Green, blue things are young. Blue things are kind. If something is young then it is kind. Round, furry things are young. Round, blue things are young. If something is round then it is blue. Furry, cold things are round.
Dave is furry.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Erin is cold.[(triple4 OR ((((triple7) -> rule7) triple7) -> rule1))] Erin is green.[(triple5)] Erin is kind.[(triple6 OR ((((triple7) -> rule7)) -> rule3) OR ((((triple5 ((triple7) -> rule7)) -> rule2)) -> rule4) OR ((((triple7 ((triple7) -> rule7)) -> rule6)) -> rule4))] Erin is round.[(triple7)] @1: Erin is blue.[(((triple7) -> rule7))] @2: Erin is young.[(((triple5 ((triple7) -> rule7)) -> rule2) OR ((triple7 ((triple7) -> rule7)) -> rule6))]