Anne is blue. Dave is cold. Fiona is green. Green, red people are not rough. If someone is round and green then they are red. All nice people are not red. If someone is blue then they are red. If Anne is rough and Anne is green then Anne is not round. Green people are nice. If someone is cold then they are round. If Fiona is not red then Fiona is not rough.
Fiona is not round.
@0: Anne is blue.[(triple1)] Dave is cold.[(triple2)] Fiona is green.[(triple3)] @1: Anne is red.[(((triple1) -> rule4))] Dave is round.[(((triple2) -> rule7))] Fiona is nice.[(((triple3) -> rule6))] @2: Fiona is not red.[(((((triple3) -> rule6)) -> rule3))] @3: Fiona is not rough.[(((((((triple3) -> rule6)) -> rule3)) -> rule8))]