Anne is rough. Charlie is kind. Erin is smart. Fiona is smart. All rough people are kind. All smart people are kind. All smart people are red. If someone is kind then they are furry. If someone is rough and red then they are furry. Smart people are not rough.
Erin is cold.
@0: Anne is rough.[(triple1)] Charlie is kind.[(triple2)] Erin is smart.[(triple3)] Fiona is smart.[(triple4)] @1: Anne is kind.[(((triple1) -> rule1))] Charlie is furry.[(((triple2) -> rule4))] Erin is kind.[(((triple3) -> rule2))] Erin is not rough.[(((triple3) -> rule6))] Erin is red.[(((triple3) -> rule3))] Fiona is kind.[(((triple4) -> rule2))] Fiona is not rough.[(((triple4) -> rule6))] Fiona is red.[(((triple4) -> rule3))] @2: Anne is furry.[(((((triple1) -> rule1)) -> rule4))] Erin is furry.[(((((triple3) -> rule2)) -> rule4))] Fiona is furry.[(((((triple4) -> rule2)) -> rule4))]