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