Anne is big. Anne is not cold. Anne is kind. Anne is rough. Charlie is not cold. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is young. Dave is big. Dave is quiet. Dave is not young. Fiona is kind. Fiona is nice. Fiona is quiet. If Fiona is quiet and Fiona is cold then Fiona is rough. If Dave is young and Dave is not big then Dave is rough. If something is big and not quiet then it is cold. All big things are rough. If something is quiet and kind then it is rough. If something is nice then it is rough.
Dave is cold.
@0: Anne is big.[(triple1)] Anne is kind.[(triple3)] Anne is not cold.[(triple2)] Anne is rough.[(triple4 OR ((triple1) -> rule4))] Charlie is kind.[(triple6)] Charlie is not cold.[(triple5)] Charlie is quiet.[(triple7)] Charlie is rough.[(triple8 OR ((triple7 triple6) -> rule5))] Charlie is young.[(triple9)] Dave is big.[(triple10)] Dave is not young.[(triple12)] Dave is quiet.[(triple11)] Fiona is kind.[(triple13)] Fiona is nice.[(triple14)] Fiona is quiet.[(triple15)] @1: Dave is rough.[(((triple10) -> rule4))] Fiona is rough.[(((triple14) -> rule6) OR ((triple15 triple13) -> rule5))]