Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. If Fiona is round then Fiona is kind. All rough things are round. All kind things are round. If something is smart then it is kind. If something is smart and not kind then it is red. All red things are quiet.
Fiona is not quiet.
@0: Fiona is kind.[(triple1 OR ((triple5) -> rule1) OR ((triple6) -> rule4) OR ((((triple4) -> rule2)) -> rule1))] Fiona is quiet.[(triple2 OR ((triple3) -> rule6))] Fiona is red.[(triple3)] Fiona is rough.[(triple4)] Fiona is round.[(triple5 OR ((triple1) -> rule3) OR ((triple4) -> rule2) OR ((((triple6) -> rule4)) -> rule3))] Fiona is smart.[(triple6)] Fiona is young.[(triple7)]