Fiona is blue. Fiona is cold. Fiona is round. Big people are white. All white people are round. If someone is blue and furry then they are big. If someone is furry and round then they are cold. Cold people are big. All white people are blue. If someone is round and furry then they are white. All blue, furry people are big.
Fiona is not round.
@0: Fiona is blue.[(triple1 OR ((((((triple2) -> rule5)) -> rule1)) -> rule6))] Fiona is cold.[(triple2)] Fiona is round.[(triple3 OR ((((((triple2) -> rule5)) -> rule1)) -> rule2))] @1: Fiona is big.[(((triple2) -> rule5))] @2: Fiona is white.[(((((triple2) -> rule5)) -> rule1))]