Bob is cold. Erin is cold. Erin is nice. If Erin is kind and Erin is nice then Erin is round. All green, kind people are round. If Erin is kind and Erin is round then Erin is white. Nice people are kind. Green, cold people are nice. All nice, furry people are cold. If Erin is round then Erin is cold. Nice, cold people are furry.
Erin is not green.
@0: Bob is cold.[(triple1)] Erin is cold.[(triple2 OR ((((((triple3) -> rule4) triple3) -> rule1)) -> rule7))] Erin is nice.[(triple3)] @1: Erin is furry.[(((triple3 triple2) -> rule8) OR ((triple3 ((((((triple3) -> rule4) triple3) -> rule1)) -> rule7)) -> rule8))] Erin is kind.[(((triple3) -> rule4))] @2: Erin is round.[(((((triple3) -> rule4) triple3) -> rule1))] @3: Erin is white.[(((((triple3) -> rule4) ((((triple3) -> rule4) triple3) -> rule1)) -> rule3))]