Erin is big. Erin is white. Fiona is cold. All big, nice things are not kind. All cold, nice things are not kind. If something is nice and cold then it is big. If something is cold then it is big. If Fiona is big and Fiona is not round then Fiona is cold. If Fiona is big then Fiona is nice. Big things are cold. If something is white and not red then it is cold.
Erin is not big.
@0: Erin is big.[(triple1)] Erin is white.[(triple2)] Fiona is cold.[(triple3)] @1: Erin is cold.[(((triple1) -> rule7))] Fiona is big.[(((triple3) -> rule4))] @2: Fiona is nice.[(((((triple3) -> rule4)) -> rule6))] @3: Fiona is not kind.[(((triple3 ((((triple3) -> rule4)) -> rule6)) -> rule2) OR ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule6)) -> rule1))]