Fiona is blue. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is young. If something is quiet then it is nice. If something is round then it is nice. If something is young then it is nice. If something is furry and young then it is nice. If Fiona is nice then Fiona is round. If Fiona is not round then Fiona is cold.
Fiona is not round.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is nice.[(triple4 OR ((triple5) -> rule1) OR ((triple6) -> rule2) OR ((triple7) -> rule3) OR ((triple3 triple7) -> rule4))] Fiona is quiet.[(triple5)] Fiona is round.[(triple6 OR ((triple4) -> rule5) OR ((((triple5) -> rule1)) -> rule5) OR ((((triple7) -> rule3)) -> rule5) OR ((((triple3 triple7) -> rule4)) -> rule5))] Fiona is young.[(triple7)]