Bob is rough. Bob is young. Dave is not red. Dave is smart. Dave is white. Erin is not furry. Erin is kind. Erin is white. Erin is young. Fiona is red. Fiona is rough. Fiona is young. If something is rough and not furry then it is white. If something is red and not young then it is white. All red things are rough.
Dave is not red.
@0: Bob is rough.[(triple1)] Bob is young.[(triple2)] Dave is not red.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5)] Erin is kind.[(triple7)] Erin is not furry.[(triple6)] Erin is white.[(triple8)] Erin is young.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11 OR ((triple10) -> rule3))] Fiona is young.[(triple12)]