Bob is not blue. Bob is kind. Bob is rough. Bob is smart. Bob is white. Fiona is big. Fiona is blue. Fiona is not kind. Fiona is rough. Fiona is round. Fiona is not smart. Fiona is not white. If Bob is kind and Bob is big then Bob is white. If someone is smart and round then they are not big. Smart, round people are big. If someone is smart and kind then they are not blue. If someone is smart and not white then they are rough. If someone is white and not blue then they are rough.
Bob is round.
@0: Bob is kind.[(triple2)] Bob is not blue.[(triple1 OR ((triple4 triple2) -> rule4))] Bob is rough.[(triple3 OR ((triple5 triple1) -> rule6) OR ((triple5 ((triple4 triple2) -> rule4)) -> rule6))] Bob is smart.[(triple4)] Bob is white.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is not kind.[(triple8)] Fiona is not smart.[(triple11)] Fiona is not white.[(triple12)] Fiona is rough.[(triple9)] Fiona is round.[(triple10)]