Bob is blue. Bob is kind. Bob is nice. Bob is quiet. Bob is round. Bob is smart. Bob is white. Fiona is blue. Fiona is kind. Fiona is not nice. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is white. If Bob is not quiet and Bob is not white then Bob is blue. If someone is smart then they are round.
Fiona is nice.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is round.[(triple5 OR ((triple6) -> rule2))] Bob is smart.[(triple6)] Bob is white.[(triple7)] Fiona is blue.[(triple8)] Fiona is kind.[(triple9)] Fiona is not nice.[(triple10)] Fiona is quiet.[(triple11)] Fiona is round.[(triple12 OR ((triple13) -> rule2))] Fiona is smart.[(triple13)] Fiona is white.[(triple14)]