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