Bob is big. Bob is quiet. Bob is young. Charlie is big. Charlie is red. Dave is rough. Dave is young. If someone is red and kind then they are big. All kind people are rough. All young, quiet people are red. If someone is young then they are red. If someone is young and big then they are red. If Charlie is rough and Charlie is red then Charlie is quiet.
Bob is not young.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Bob is young.[(triple3)] Charlie is big.[(triple4)] Charlie is red.[(triple5)] Dave is rough.[(triple6)] Dave is young.[(triple7)] @1: Bob is red.[(((triple3) -> rule4) OR ((triple3 triple1) -> rule5) OR ((triple3 triple2) -> rule3))] Dave is red.[(((triple7) -> rule4))]