The bear is kind. The cow likes the squirrel. The squirrel likes the tiger. The squirrel visits the bear. The squirrel does not visit the cow. The tiger is not nice. The tiger visits the cow. If something is cold and it likes the bear then it visits the bear. If something chases the bear and the bear is kind then it likes the bear. If the tiger visits the cow then the tiger chases the squirrel. If something visits the bear then the bear likes the squirrel. If something likes the bear and it is not nice then the bear visits the squirrel. If something likes the bear then it visits the tiger. If something visits the cow then it chases the bear. If the bear likes the squirrel and the bear likes the tiger then the squirrel likes the cow.
The tiger likes the bear.
@0: The bear is kind.[(triple1)] The cow likes the squirrel.[(triple2)] The squirrel does not visit the cow.[(triple5)] The squirrel likes the tiger.[(triple3)] The squirrel visits the bear.[(triple4)] The tiger is not nice.[(triple6)] The tiger visits the cow.[(triple7)] @1: The bear likes the squirrel.[(((triple4) -> rule4))] The tiger chases the bear.[(((triple7) -> rule7))] The tiger chases the squirrel.[(((triple7) -> rule3))] @2: The tiger likes the bear.[(((((triple7) -> rule7) triple1) -> rule2))] @3: The bear visits the squirrel.[(((((((triple7) -> rule7) triple1) -> rule2) triple6) -> rule5))] The tiger visits the tiger.[(((((((triple7) -> rule7) triple1) -> rule2)) -> rule6))]