Fiona is big. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. If Fiona is big and Fiona is smart then Fiona is blue. Blue people are round.
Fiona is not round.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple1 triple7) -> rule1))] Fiona is cold.[(triple3)] Fiona is quiet.[(triple4)] Fiona is red.[(triple5)] Fiona is round.[(triple6 OR ((triple2) -> rule2) OR ((((triple1 triple7) -> rule1)) -> rule2))] Fiona is smart.[(triple7)]