Anne is not round. Anne is smart. Dave is big. Dave is furry. Dave is nice. Dave is not rough. Dave is not round. Dave is smart. Dave is white. Fiona is rough. Fiona is round. Fiona is smart. All smart, big people are white. If someone is rough and not nice then they are round. If someone is white and nice then they are furry.
Fiona is not furry.
@0: Anne is not round.[(triple1)] Anne is smart.[(triple2)] Dave is big.[(triple3)] Dave is furry.[(triple4 OR ((triple9 triple5) -> rule3) OR ((((triple8 triple3) -> rule1) triple5) -> rule3))] Dave is nice.[(triple5)] Dave is not rough.[(triple6)] Dave is not round.[(triple7)] Dave is smart.[(triple8)] Dave is white.[(triple9 OR ((triple8 triple3) -> rule1))] Fiona is rough.[(triple10)] Fiona is round.[(triple11)] Fiona is smart.[(triple12)]