Bob is big. Bob is blue. Bob is quiet. Bob is rough. Bob is smart. Bob is white. Bob is young. Charlie is quiet. Charlie is smart. Charlie is white. Fiona is big. Fiona is blue. Fiona is quiet. Fiona is smart. Fiona is white. Fiona is young. If Charlie is quiet then Charlie is rough. All white people are rough.
Charlie is big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4 OR ((triple6) -> rule2))] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Charlie is quiet.[(triple8)] Charlie is smart.[(triple9)] Charlie is white.[(triple10)] Fiona is big.[(triple11)] Fiona is blue.[(triple12)] Fiona is quiet.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15)] Fiona is young.[(triple16)] @1: Charlie is rough.[(((triple10) -> rule2) OR ((triple8) -> rule1))] Fiona is rough.[(((triple15) -> rule2))]