Bob is not big. Bob is blue. Bob is green. Bob is red. Bob is not rough. Bob is not smart. Bob is not white. Charlie is blue. Charlie is not green. Charlie is smart. Charlie is white. Fiona is big. Fiona is blue. Fiona is not green. Fiona is rough. Fiona is white. If someone is big and not rough then they are white. If Charlie is rough and Charlie is not big then Charlie is blue. White people are smart.
Charlie is rough.
@0: Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is not big.[(triple1)] Bob is not rough.[(triple5)] Bob is not smart.[(triple6)] Bob is not white.[(triple7)] Bob is red.[(triple4)] Charlie is blue.[(triple8)] Charlie is not green.[(triple9)] Charlie is smart.[(triple10 OR ((triple11) -> rule3))] Charlie is white.[(triple11)] Fiona is big.[(triple12)] Fiona is blue.[(triple13)] Fiona is not green.[(triple14)] Fiona is rough.[(triple15)] Fiona is white.[(triple16)] @1: Fiona is smart.[(((triple16) -> rule3))]