Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is quiet. Dave is white. Dave is young. Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is white. Fiona is young. If someone is furry then they are big.
Fiona is not quiet.
@0: Dave is big.[(triple1 OR ((triple3) -> rule1))] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] Fiona is big.[(triple8 OR ((triple10) -> rule1))] Fiona is cold.[(triple9)] Fiona is furry.[(triple10)] Fiona is kind.[(triple11)] Fiona is quiet.[(triple12)] Fiona is white.[(triple13)] Fiona is young.[(triple14)]