Fiona is big. Fiona is blue. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is smart. Fiona is young. Kind people are smart. If Fiona is blue and Fiona is green then Fiona is smart. If Fiona is blue and Fiona is kind then Fiona is big.
Fiona is not young.
@0: Fiona is big.[(triple1 OR ((triple2 triple4) -> rule3))] Fiona is blue.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is quiet.[(triple5)] Fiona is smart.[(triple6 OR ((triple4) -> rule1) OR ((triple2 triple3) -> rule2))] Fiona is young.[(triple7)]