Bob is big. Dave is not big. Dave is kind. Dave is nice. Dave is round. Dave is white. Fiona is not round. Gary is big. Gary is kind. Gary is nice. Gary is quiet. Gary is round. If someone is round and not quiet then they are not kind. If Gary is big then Gary is round.
Bob is not quiet.
@0: Bob is big.[(triple1)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is not big.[(triple2)] Dave is round.[(triple5)] Dave is white.[(triple6)] Fiona is not round.[(triple7)] Gary is big.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10)] Gary is quiet.[(triple11)] Gary is round.[(triple12 OR ((triple8) -> rule2))]