Bob is red. Erin is not green. Gary is young. Rough people are green. If someone is young then they are green. All furry people are big. Cold, furry people are young. If someone is red then they are furry. All furry, red people are rough.
Gary is not green.
@0: Bob is red.[(triple1)] Erin is not green.[(triple2)] Gary is young.[(triple3)] @1: Bob is furry.[(((triple1) -> rule5))] Gary is green.[(((triple3) -> rule2))] @2: Bob is big.[(((((triple1) -> rule5)) -> rule3))] Bob is rough.[(((((triple1) -> rule5) triple1) -> rule6))] @3: Bob is green.[(((((((triple1) -> rule5) triple1) -> rule6)) -> rule1))]