Charlie is green. Erin is red. Gary is furry. Green, furry people are cold. All round people are furry. All round people are green. If someone is quiet and red then they are round. If Gary is green and Gary is round then Gary is quiet. All furry people are green. Big, furry people are round. If someone is red then they are furry.
Erin is quiet.
@0: Charlie is green.[(triple1)] Erin is red.[(triple2)] Gary is furry.[(triple3)] @1: Erin is furry.[(((triple2) -> rule8))] Gary is green.[(((triple3) -> rule6))] @2: Erin is green.[(((((triple2) -> rule8)) -> rule6))] Gary is cold.[(((((triple3) -> rule6) triple3) -> rule1))] @3: Erin is cold.[(((((((triple2) -> rule8)) -> rule6) ((triple2) -> rule8)) -> rule1))]