Fiona is furry. Fiona is kind. Fiona is nice. Gary is furry. Gary is kind. Gary is nice. Gary is red. Gary is round. Gary is white. Gary is young. All round things are furry. All young things are red.
Fiona is not nice.
@0: Fiona is furry.[(triple1)] Fiona is kind.[(triple2)] Fiona is nice.[(triple3)] Gary is furry.[(triple4 OR ((triple8) -> rule1))] Gary is kind.[(triple5)] Gary is nice.[(triple6)] Gary is red.[(triple7 OR ((triple10) -> rule2))] Gary is round.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)]