Bob is cold. Erin is nice. Gary is nice. Harry is blue. Blue people are furry. Nice people are furry. Blue, big people are nice. If someone is cold then they are quiet. All nice, furry people are cold. If Gary is nice then Gary is smart. Cold people are furry. Cold, furry people are quiet.
Gary is furry.
@0: Bob is cold.[(triple1)] Erin is nice.[(triple2)] Gary is nice.[(triple3)] Harry is blue.[(triple4)] @1: Bob is furry.[(((triple1) -> rule7))] Bob is quiet.[(((triple1) -> rule4) OR ((triple1 ((triple1) -> rule7)) -> rule8))] Erin is furry.[(((triple2) -> rule2))] Gary is furry.[(((triple3) -> rule2))] Gary is smart.[(((triple3) -> rule6))] Harry is furry.[(((triple4) -> rule1))] @2: Erin is cold.[(((triple2 ((triple2) -> rule2)) -> rule5))] Gary is cold.[(((triple3 ((triple3) -> rule2)) -> rule5))] @3: Erin is quiet.[(((((triple2 ((triple2) -> rule2)) -> rule5)) -> rule4) OR ((((triple2 ((triple2) -> rule2)) -> rule5) ((triple2) -> rule2)) -> rule8))] Gary is quiet.[(((((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((triple3 ((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule8))]