Anne is blue. Anne is kind. Erin is big. Erin is furry. Harry is big. Harry is nice. Harry is red. Green people are blue. If Erin is green and Erin is kind then Erin is furry. All green people are nice. All nice people are furry. Green, furry people are blue. If someone is big and kind then they are blue. All green, kind people are nice. Kind people are nice.
Erin is not furry.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Erin is big.[(triple3)] Erin is furry.[(triple4)] Harry is big.[(triple5)] Harry is nice.[(triple6)] Harry is red.[(triple7)] @1: Anne is nice.[(((triple2) -> rule8))] Harry is furry.[(((triple6) -> rule4))] @2: Anne is furry.[(((((triple2) -> rule8)) -> rule4))]