Fiona is cold. Fiona is furry. Fiona is green. Fiona is red. Fiona is round. Fiona is smart. Fiona is not white. If something is cold then it is furry. If something is red then it is furry. If something is smart and white then it is not furry. If something is furry and not green then it is cold. If something is furry and round then it is red. If Fiona is cold then Fiona is smart.
Fiona is not smart.
@0: Fiona is cold.[(triple1)] Fiona is furry.[(triple2 OR ((triple1) -> rule1) OR ((triple4) -> rule2))] Fiona is green.[(triple3)] Fiona is not white.[(triple7)] Fiona is red.[(triple4 OR ((triple2 triple5) -> rule5) OR ((((triple1) -> rule1) triple5) -> rule5))] Fiona is round.[(triple5)] Fiona is smart.[(triple6 OR ((triple1) -> rule6))]