Bob is not cold. Fiona is furry. Fiona is not nice. If someone is nice and furry then they are blue. If someone is green then they are not blue. Furry people are not cold. All cold, nice people are green. If someone is furry then they are green. If someone is furry and not white then they are not round. If Bob is not nice then Bob is furry. If Fiona is nice and Fiona is blue then Fiona is green.
Fiona is nice.
@0: Bob is not cold.[(triple1)] Fiona is furry.[(triple2)] Fiona is not nice.[(triple3)] @1: Fiona is green.[(((triple2) -> rule5))] Fiona is not cold.[(((triple2) -> rule3))] @2: Fiona is not blue.[(((((triple2) -> rule5)) -> rule2))]