Bob is big. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Charlie is big. Charlie is not nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is white. Charlie is young. If Charlie is not quiet then Charlie is not young. If Charlie is white then Charlie is young. If Bob is big and Bob is white then Bob is nice. All white people are rough. If someone is young then they are big. If Bob is quiet and Bob is nice then Bob is not young. If someone is quiet and not big then they are not red. If someone is quiet then they are red.
Charlie is not white.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4 OR ((triple3) -> rule8))] Bob is rough.[(triple5)] Charlie is big.[(triple6 OR ((triple12) -> rule5) OR ((((triple11) -> rule2)) -> rule5))] Charlie is not nice.[(triple7)] Charlie is quiet.[(triple8)] Charlie is red.[(triple9 OR ((triple8) -> rule8))] Charlie is rough.[(triple10 OR ((triple11) -> rule4))] Charlie is white.[(triple11)] Charlie is young.[(triple12 OR ((triple11) -> rule2))] @1: Bob is not young.[(((triple3 triple2) -> rule6))]