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