Fiona is big. Fiona is blue. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. All round, red things are rough. If Fiona is red then Fiona is round.
Fiona is not blue.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is red.[(triple3)] Fiona is rough.[(triple4 OR ((triple5 triple3) -> rule1) OR ((((triple3) -> rule2) triple3) -> rule1))] Fiona is round.[(triple5 OR ((triple3) -> rule2))] Fiona is smart.[(triple6)] Fiona is young.[(triple7)]