Charlie is cold. Charlie is young. Dave is big. Dave is not blue. Dave is cold. Dave is red. Dave is young. Fiona is not blue. Fiona is not red. Fiona is rough. Harry is red. Harry is young. If something is young and red then it is rough. Young, blue things are not green. If something is green and red then it is blue. All blue, big things are not red. All blue things are not red. If something is rough and not cold then it is red.
Dave is not young.
@0: Charlie is cold.[(triple1)] Charlie is young.[(triple2)] Dave is big.[(triple3)] Dave is cold.[(triple5)] Dave is not blue.[(triple4)] Dave is red.[(triple6)] Dave is young.[(triple7)] Fiona is not blue.[(triple8)] Fiona is not red.[(triple9)] Fiona is rough.[(triple10)] Harry is red.[(triple11)] Harry is young.[(triple12)] @1: Dave is rough.[(((triple7 triple6) -> rule1))] Harry is rough.[(((triple12 triple11) -> rule1))]