Anne is big. Anne is furry. Anne is not kind. Anne is nice. Anne is quiet. Anne is rough. Bob is big. Bob is quiet. Dave is big. Dave is not furry. Dave is kind. Dave is not nice. Gary is big. Gary is kind. Gary is rough. Gary is young. If something is young then it is nice.
Bob is rough.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple4)] Anne is not kind.[(triple3)] Anne is quiet.[(triple5)] Anne is rough.[(triple6)] Bob is big.[(triple7)] Bob is quiet.[(triple8)] Dave is big.[(triple9)] Dave is kind.[(triple11)] Dave is not furry.[(triple10)] Dave is not nice.[(triple12)] Gary is big.[(triple13)] Gary is kind.[(triple14)] Gary is rough.[(triple15)] Gary is young.[(triple16)] @1: Gary is nice.[(((triple16) -> rule1))]