The bear is cold. The bear is not green. The bear is rough. The rabbit is cold. The squirrel is nice. The squirrel does not visit the rabbit. The squirrel visits the tiger. The tiger chases the bear. The tiger does not eat the rabbit. The tiger is cold. The tiger is nice. The tiger is not rough. The tiger visits the rabbit. The tiger visits the squirrel. If something is green and it visits the squirrel then the squirrel is green. If something chases the rabbit then it eats the bear. If the squirrel eats the rabbit and the rabbit visits the bear then the bear is not red. If something is cold then it chases the rabbit. If the rabbit chases the squirrel then the squirrel eats the bear. If something chases the bear and it visits the tiger then the tiger chases the squirrel. If something is cold and not nice then it eats the rabbit. If something eats the bear and the bear visits the squirrel then it eats the rabbit. If something eats the bear then it chases the squirrel.
The tiger chases the bear.
@0: The bear is cold.[(triple1)] The bear is not green.[(triple2)] The bear is rough.[(triple3)] The rabbit is cold.[(triple4)] The squirrel does not visit the rabbit.[(triple6)] The squirrel is nice.[(triple5)] The squirrel visits the tiger.[(triple7)] The tiger chases the bear.[(triple8)] The tiger does not eat the rabbit.[(triple9)] The tiger is cold.[(triple10)] The tiger is nice.[(triple11)] The tiger is not rough.[(triple12)] The tiger visits the rabbit.[(triple13)] The tiger visits the squirrel.[(triple14)] @1: The bear chases the rabbit.[(((triple1) -> rule4))] The rabbit chases the rabbit.[(((triple4) -> rule4))] The tiger chases the rabbit.[(((triple10) -> rule4))] @2: The bear eats the bear.[(((((triple1) -> rule4)) -> rule2))] The rabbit eats the bear.[(((((triple4) -> rule4)) -> rule2))] The tiger eats the bear.[(((((triple10) -> rule4)) -> rule2))] @3: The bear chases the squirrel.[(((((((triple1) -> rule4)) -> rule2)) -> rule9))] The rabbit chases the squirrel.[(((((((triple4) -> rule4)) -> rule2)) -> rule9))] The tiger chases the squirrel.[(((((((triple10) -> rule4)) -> rule2)) -> rule9))] @4: The squirrel eats the bear.[(((((((((triple4) -> rule4)) -> rule2)) -> rule9)) -> rule5))] @5: The squirrel chases the squirrel.[(((((((((((triple4) -> rule4)) -> rule2)) -> rule9)) -> rule5)) -> rule9))]