Anne is rough. Dave is big. Dave is cold. Dave is not furry. Dave is red. Dave is rough. Gary is young. All blue, furry things are rough. If something is red and cold then it is rough. All young, blue things are rough. If something is rough and cold then it is not young. If Dave is blue and Dave is cold then Dave is furry. If something is blue and not big then it is red.
Anne is big.
@0: Anne is rough.[(triple1)] Dave is big.[(triple2)] Dave is cold.[(triple3)] Dave is not furry.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6 OR ((triple5 triple3) -> rule2))] Gary is young.[(triple7)] @1: Dave is not young.[(((triple6 triple3) -> rule4) OR ((((triple5 triple3) -> rule2) triple3) -> rule4))]