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