The bear is red. The bear likes the squirrel. The bear visits the rabbit. The rabbit eats the squirrel. The rabbit is big. The rabbit is cold. The rabbit is round. The squirrel eats the bear. The squirrel likes the rabbit. The squirrel visits the rabbit. If someone eats the bear and the bear is rough then the bear visits the squirrel. If someone is round then they like the squirrel. If someone is big and they eat the rabbit then they like the rabbit. If someone is rough then they eat the bear. If someone visits the bear then they eat the bear. If the squirrel likes the rabbit and the rabbit visits the squirrel then the squirrel is red. If someone visits the squirrel and the squirrel visits the bear then they are cold. If someone is big then they eat the bear.
The bear is not cold.
@0: The bear is red.[(triple1)] The bear likes the squirrel.[(triple2)] The bear visits the rabbit.[(triple3)] The rabbit eats the squirrel.[(triple4)] The rabbit is big.[(triple5)] The rabbit is cold.[(triple6)] The rabbit is round.[(triple7)] The squirrel eats the bear.[(triple8)] The squirrel likes the rabbit.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The rabbit eats the bear.[(((triple5) -> rule8))] The rabbit likes the squirrel.[(((triple7) -> rule2))]