The bear does not eat the squirrel. The bear is rough. The bear likes the rabbit. The bear does not like the tiger. The bear visits the tiger. The rabbit eats the bear. The rabbit is green. The rabbit does not like the squirrel. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is big. The squirrel visits the tiger. The tiger is rough. The tiger does not like the rabbit. The tiger visits the squirrel. If someone likes the bear then the bear does not eat the rabbit. If someone likes the rabbit then they are rough. Big people are rough. If someone visits the rabbit then they are not rough. If someone eats the bear then they like the rabbit. If someone likes the rabbit and the rabbit visits the bear then the rabbit eats the squirrel.
The squirrel does not like the rabbit.
@0: The bear does not eat the squirrel.[(triple1)] The bear does not like the tiger.[(triple4)] The bear is rough.[(triple2 OR ((triple3) -> rule2))] The bear likes the rabbit.[(triple3)] The bear visits the tiger.[(triple5)] The rabbit does not like the squirrel.[(triple8)] The rabbit eats the bear.[(triple6)] The rabbit is green.[(triple7)] The rabbit visits the squirrel.[(triple9)] The squirrel eats the rabbit.[(triple10)] The squirrel is big.[(triple11)] The squirrel visits the tiger.[(triple12)] The tiger does not like the rabbit.[(triple14)] The tiger is rough.[(triple13)] The tiger visits the squirrel.[(triple15)] @1: The rabbit likes the rabbit.[(((triple6) -> rule5))] The squirrel is rough.[(((triple11) -> rule3))] @2: The rabbit is rough.[(((((triple6) -> rule5)) -> rule2))]