Fiona is big. Fiona is cold. Fiona is nice. Fiona is not red. Fiona is round. Fiona is smart. Fiona is white. If Fiona is not nice then Fiona is not white. White people are cold. All big people are smart. All big, white people are round. Big people are round. If someone is smart and not cold then they are round. If Fiona is not nice then Fiona is not red. If Fiona is not round then Fiona is red.
Fiona is not nice.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2 OR ((triple7) -> rule2))] Fiona is nice.[(triple3)] Fiona is not red.[(triple4)] Fiona is round.[(triple5 OR ((triple1) -> rule5) OR ((triple1 triple7) -> rule4))] Fiona is smart.[(triple6 OR ((triple1) -> rule3))] Fiona is white.[(triple7)]