The bear chases the cat. The bear is blue. The bear is cold. The bear is kind. The bear is young. The bear likes the cat. The bear needs the cat. The cat chases the bear. The cat likes the bear. The cat needs the bear. If something is cold and it likes the bear then it is young. If the cat needs the bear and the bear chases the cat then the cat is cold.
The cat is young.
@0: The bear chases the cat.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is kind.[(triple4)] The bear is young.[(triple5)] The bear likes the cat.[(triple6)] The bear needs the cat.[(triple7)] The cat chases the bear.[(triple8)] The cat likes the bear.[(triple9)] The cat needs the bear.[(triple10)] @1: The cat is cold.[(((triple10 triple1) -> rule2))] @2: The cat is young.[(((((triple10 triple1) -> rule2) triple9) -> rule1))]