Anne is big. Anne is blue. Anne is quiet. Anne is rough. Bob is big. Bob is cold. Bob is rough. Bob is round. Dave is blue. Dave is nice. Dave is quiet. Gary is rough. Rough, nice things are cold. If something is big and quiet then it is cold.
Dave is not blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Bob is big.[(triple5)] Bob is cold.[(triple6)] Bob is rough.[(triple7)] Bob is round.[(triple8)] Dave is blue.[(triple9)] Dave is nice.[(triple10)] Dave is quiet.[(triple11)] Gary is rough.[(triple12)] @1: Anne is cold.[(((triple1 triple3) -> rule2))]