Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. Gary is kind. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is not smart. Gary is young. If something is red and not quiet then it is kind. If something is kind then it is round. If something is red and not rough then it is round. Kind things are red. Quiet things are red. If Fiona is not red then Fiona is smart.
Fiona is young.
@0: Fiona is kind.[(triple1)] Fiona is quiet.[(triple2)] Fiona is red.[(triple3 OR ((triple1) -> rule4) OR ((triple2) -> rule5))] Fiona is rough.[(triple4)] Fiona is round.[(triple5 OR ((triple1) -> rule2))] Fiona is smart.[(triple6)] Fiona is young.[(triple7)] Gary is kind.[(triple8)] Gary is not smart.[(triple13)] Gary is quiet.[(triple9)] Gary is red.[(triple10 OR ((triple8) -> rule4) OR ((triple9) -> rule5))] Gary is rough.[(triple11)] Gary is round.[(triple12 OR ((triple8) -> rule2))] Gary is young.[(triple14)]