Bob is big. Bob is quiet. Bob is red. Dave is furry. Dave is red. Dave is not rough. Dave is not white. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is red. Gary is furry. Gary is kind. Gary is red. Gary is rough. Gary is not white. If Fiona is quiet and Fiona is kind then Fiona is red. If Dave is quiet then Dave is not red. If something is white then it is furry. All white, furry things are not rough. All furry things are red. Big, rough things are not white.
Fiona is white.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Dave is furry.[(triple4)] Dave is not rough.[(triple6)] Dave is not white.[(triple7)] Dave is red.[(triple5 OR ((triple4) -> rule5))] Fiona is furry.[(triple8)] Fiona is kind.[(triple9)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11 OR ((triple8) -> rule5) OR ((triple10 triple9) -> rule1))] Gary is furry.[(triple12)] Gary is kind.[(triple13)] Gary is not white.[(triple16)] Gary is red.[(triple14 OR ((triple12) -> rule5))] Gary is rough.[(triple15)]