Bob is rough. Charlie is big. Charlie is quiet. Dave is big. Dave is furry. Dave is nice. Dave is quiet. Dave is rough. Dave is young. Fiona is big. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is young. All blue, quiet things are nice. If Fiona is blue and Fiona is quiet then Fiona is furry. All blue, nice things are big.
Fiona is not quiet.
@0: Bob is rough.[(triple1)] Charlie is big.[(triple2)] Charlie is quiet.[(triple3)] Dave is big.[(triple4)] Dave is furry.[(triple5)] Dave is nice.[(triple6)] Dave is quiet.[(triple7)] Dave is rough.[(triple8)] Dave is young.[(triple9)] Fiona is big.[(triple10 OR ((triple11 ((triple11 triple13) -> rule1)) -> rule3))] Fiona is blue.[(triple11)] Fiona is furry.[(triple12 OR ((triple11 triple13) -> rule2))] Fiona is quiet.[(triple13)] Fiona is rough.[(triple14)] Fiona is young.[(triple15)] @1: Fiona is nice.[(((triple11 triple13) -> rule1))]