Anne is big. Anne is furry. Anne is rough. Bob is rough. Bob is young. Charlie is big. Charlie is furry. Charlie is not young. Dave is not cold. Dave is green. If Charlie is quiet then Charlie is furry. All furry people are cold. If someone is quiet and not big then they are furry. If someone is green then they are young. All green, quiet people are rough. If Charlie is not furry then Charlie is not rough.
Anne is not big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Bob is rough.[(triple4)] Bob is young.[(triple5)] Charlie is big.[(triple6)] Charlie is furry.[(triple7)] Charlie is not young.[(triple8)] Dave is green.[(triple10)] Dave is not cold.[(triple9)] @1: Anne is cold.[(((triple2) -> rule2))] Charlie is cold.[(((triple7) -> rule2))] Dave is young.[(((triple10) -> rule4))]