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