Anne is furry. Anne is smart. Fiona is red. All kind people are smart. If Fiona is red and Fiona is round then Fiona is blue. Red people are cold. Smart people are furry. All red people are furry. If someone is round and cold then they are kind.
Anne is not red.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule4))] Anne is smart.[(triple2)] Fiona is red.[(triple3)] @1: Fiona is cold.[(((triple3) -> rule3))] Fiona is furry.[(((triple3) -> rule5))]