The bear is big. The rabbit eats the bear. The rabbit is cold. The rabbit is rough. The rabbit needs the bear. The rabbit needs the squirrel. The rabbit visits the bear. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is big. The squirrel is green. The squirrel is rough. The squirrel needs the bear. The squirrel visits the bear. The squirrel visits the rabbit. If someone is blue and big then they eat the bear. If someone needs the squirrel then they eat the rabbit. If someone needs the bear then they visit the rabbit.
The rabbit is rough.
@0: The bear is big.[(triple1)] The rabbit eats the bear.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is rough.[(triple4)] The rabbit needs the bear.[(triple5)] The rabbit needs the squirrel.[(triple6)] The rabbit visits the bear.[(triple7)] The rabbit visits the squirrel.[(triple8)] The squirrel eats the rabbit.[(triple9)] The squirrel is big.[(triple10)] The squirrel is green.[(triple11)] The squirrel is rough.[(triple12)] The squirrel needs the bear.[(triple13)] The squirrel visits the bear.[(triple14)] The squirrel visits the rabbit.[(triple15 OR ((triple13) -> rule3))] @1: The rabbit eats the rabbit.[(((triple6) -> rule2))] The rabbit visits the rabbit.[(((triple5) -> rule3))]