Bob is cold. Bob is green. Erin is cold. All nice, green things are cold. If something is green then it is kind. All big things are nice. If something is green and furry then it is nice. Cold, furry things are green. Nice things are furry. If something is nice then it is green. All cold things are furry.
Bob is green.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2 OR ((triple1 ((triple1) -> rule8)) -> rule5))] Erin is cold.[(triple3)] @1: Bob is furry.[(((triple1) -> rule8))] Bob is kind.[(((triple2) -> rule2) OR ((((triple1 ((triple1) -> rule8)) -> rule5)) -> rule2))] Erin is furry.[(((triple3) -> rule8))] @2: Bob is nice.[(((triple2 ((triple1) -> rule8)) -> rule4) OR ((((triple1 ((triple1) -> rule8)) -> rule5) ((triple1) -> rule8)) -> rule4))] Erin is green.[(((triple3 ((triple3) -> rule8)) -> rule5))] @3: Erin is kind.[(((((triple3 ((triple3) -> rule8)) -> rule5)) -> rule2))] Erin is nice.[(((((triple3 ((triple3) -> rule8)) -> rule5) ((triple3) -> rule8)) -> rule4))]