Dave is big. Dave is kind. Dave is rough. Fiona is not big. Fiona is not furry. Fiona is not nice. Fiona is not rough. Round people are red. If someone is nice then they are furry. If someone is round then they are furry. If someone is rough and red then they are not nice. Rough people are kind. If Fiona is nice and Fiona is rough then Fiona is kind.
Dave is round.
@0: Dave is big.[(triple1)] Dave is kind.[(triple2 OR ((triple3) -> rule5))] Dave is rough.[(triple3)] Fiona is not big.[(triple4)] Fiona is not furry.[(triple5)] Fiona is not nice.[(triple6)] Fiona is not rough.[(triple7)]