Bob is big. Bob is furry. Bob is not kind. Bob is quiet. Bob is not red. Bob is not round. Bob is not young. If Bob is big and Bob is young then Bob is quiet. All big, quiet things are not kind. If something is quiet and red then it is kind. All round things are kind. All young, round things are red. Red, kind things are quiet.
Bob is not red.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is not kind.[(triple3 OR ((triple1 triple4) -> rule2))] Bob is not red.[(triple5)] Bob is not round.[(triple6)] Bob is not young.[(triple7)] Bob is quiet.[(triple4)]