Charlie is blue. Erin is green. Gary is green. Harry is big. Cold people are blue. If Charlie is big then Charlie is furry. If someone is round and cold then they are red. If someone is green then they are furry. If someone is blue then they are furry. If Erin is round then Erin is cold. Green, furry people are big. All big, red people are green.
Charlie is blue.
@0: Charlie is blue.[(triple1)] Erin is green.[(triple2)] Gary is green.[(triple3)] Harry is big.[(triple4)] @1: Charlie is furry.[(((triple1) -> rule5))] Erin is furry.[(((triple2) -> rule4))] Gary is furry.[(((triple3) -> rule4))] @2: Erin is big.[(((triple2 ((triple2) -> rule4)) -> rule7))] Gary is big.[(((triple3 ((triple3) -> rule4)) -> rule7))]