Fiona is big. Fiona is blue. Fiona is green. Fiona is kind. Fiona is red. Fiona is rough. Fiona is round. Rough people are blue. If Fiona is rough then Fiona is round. All rough people are round.
Fiona is not round.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple6) -> rule1))] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Fiona is round.[(triple7 OR ((triple6) -> rule2) OR ((triple6) -> rule3))]