The bear is rough. The cow likes the tiger. The squirrel visits the cow. The tiger needs the squirrel. If someone visits the tiger then they are big. If someone is green and they visit the cow then the cow is rough. If someone is round and green then they are big. If someone visits the tiger then the tiger likes the bear. If someone likes the bear then the bear needs the cow. If someone likes the squirrel and the squirrel is rough then the squirrel visits the tiger. If someone likes the squirrel then they like the bear. If someone likes the tiger then they like the squirrel.
The cow does not like the squirrel.
@0: The bear is rough.[(triple1)] The cow likes the tiger.[(triple2)] The squirrel visits the cow.[(triple3)] The tiger needs the squirrel.[(triple4)] @1: The cow likes the squirrel.[(((triple2) -> rule8))] @2: The cow likes the bear.[(((((triple2) -> rule8)) -> rule7))] @3: The bear needs the cow.[(((((((triple2) -> rule8)) -> rule7)) -> rule5))]