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