Bob is blue. Bob is red. Bob is smart. Bob is white. Charlie is blue. Charlie is kind. Charlie is smart. Fiona is kind. Fiona is not rough. Fiona is white. If something is smart and red then it is white.
Bob is not smart.
@0: Bob is blue.[(triple1)] Bob is red.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4 OR ((triple3 triple2) -> rule1))] Charlie is blue.[(triple5)] Charlie is kind.[(triple6)] Charlie is smart.[(triple7)] Fiona is kind.[(triple8)] Fiona is not rough.[(triple9)] Fiona is white.[(triple10)]