Anne is cold. Dave is rough. Gary is cold. If someone is nice then they are furry. If someone is blue then they are nice. If someone is big and cold then they are kind. If Dave is nice and Dave is blue then Dave is rough. All blue, furry people are kind. Rough people are nice. Cold, furry people are blue. All cold people are blue.
Dave is rough.
@0: Anne is cold.[(triple1)] Dave is rough.[(triple2)] Gary is cold.[(triple3)] @1: Anne is blue.[(((triple1) -> rule8))] Dave is nice.[(((triple2) -> rule6))] Gary is blue.[(((triple3) -> rule8))] @2: Anne is nice.[(((((triple1) -> rule8)) -> rule2))] Dave is furry.[(((((triple2) -> rule6)) -> rule1))] Gary is nice.[(((((triple3) -> rule8)) -> rule2))] @3: Anne is furry.[(((((((triple1) -> rule8)) -> rule2)) -> rule1))] Gary is furry.[(((((((triple3) -> rule8)) -> rule2)) -> rule1))] @4: Anne is kind.[(((((triple1) -> rule8) ((((((triple1) -> rule8)) -> rule2)) -> rule1)) -> rule5))] Gary is kind.[(((((triple3) -> rule8) ((((((triple3) -> rule8)) -> rule2)) -> rule1)) -> rule5))]