The bear chases the rabbit. The bear eats the rabbit. The bear is nice. The bear is red. The bear likes the rabbit. The rabbit chases the squirrel. The rabbit eats the bear. The rabbit is nice. The rabbit likes the squirrel. The squirrel eats the rabbit. The squirrel is nice. The squirrel is rough. If the squirrel eats the rabbit and the squirrel chases the rabbit then the squirrel eats the bear. If the bear chases the rabbit and the rabbit is big then the rabbit likes the bear. If something likes the rabbit and it is green then it chases the rabbit. If something likes the rabbit and the rabbit chases the squirrel then the rabbit is red. If something eats the squirrel then the squirrel is big. If something likes the squirrel and the squirrel chases the rabbit then the rabbit is nice. If the bear eats the squirrel and the squirrel likes the bear then the squirrel chases the bear. All nice things are rough.
The rabbit likes the rabbit.
@0: The bear chases the rabbit.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear likes the rabbit.[(triple5)] The rabbit chases the squirrel.[(triple6)] The rabbit eats the bear.[(triple7)] The rabbit is nice.[(triple8)] The rabbit likes the squirrel.[(triple9)] The squirrel eats the rabbit.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is rough.[(triple12 OR ((triple11) -> rule8))] @1: The bear is rough.[(((triple3) -> rule8))] The rabbit is red.[(((triple5 triple6) -> rule4))] The rabbit is rough.[(((triple8) -> rule8))]