Anne is green. Erin is green. Erin is round. All rough people are furry. If someone is kind then they are green. All round people are blue. If someone is rough then they are round. If Anne is green then Anne is round. All rough people are smart. All green, furry people are round. If someone is round and furry then they are kind.
Anne is not furry.
@0: Anne is green.[(triple1)] Erin is green.[(triple2)] Erin is round.[(triple3)] @1: Anne is round.[(((triple1) -> rule5))] Erin is blue.[(((triple3) -> rule3))] @2: Anne is blue.[(((((triple1) -> rule5)) -> rule3))]