Dave is big. Dave is cold. Dave is furry. Dave is red. Dave is rough. Dave is white. Dave is young. Fiona is big. Fiona is cold. Fiona is furry. Fiona is red. Fiona is rough. Fiona is white. Fiona is young. Young things are furry. All cold things are rough. If something is rough then it is red.
Dave is not white.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3 OR ((triple7) -> rule1))] Dave is red.[(triple4 OR ((triple5) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] Dave is rough.[(triple5 OR ((triple2) -> rule2))] Dave is white.[(triple6)] Dave is young.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10 OR ((triple14) -> rule1))] Fiona is red.[(triple11 OR ((triple12) -> rule3) OR ((((triple9) -> rule2)) -> rule3))] Fiona is rough.[(triple12 OR ((triple9) -> rule2))] Fiona is white.[(triple13)] Fiona is young.[(triple14)]