The bear visits the cow. The cow needs the lion. The lion needs the bear. The squirrel needs the bear. If someone visits the squirrel and the squirrel needs the lion then the lion is rough. If someone needs the squirrel then they are kind. If someone needs the lion then they visit the lion. If someone chases the squirrel and the squirrel visits the cow then the squirrel needs the lion. If someone needs the bear and the bear visits the cow then the cow needs the squirrel. If someone is kind then they chase the bear.
The cow needs the lion.
@0: The bear visits the cow.[(triple1)] The cow needs the lion.[(triple2)] The lion needs the bear.[(triple3)] The squirrel needs the bear.[(triple4)] @1: The cow needs the squirrel.[(((triple3 triple1) -> rule5) OR ((triple4 triple1) -> rule5))] The cow visits the lion.[(((triple2) -> rule3))] @2: The cow is kind.[(((((triple3 triple1) -> rule5)) -> rule2) OR ((((triple4 triple1) -> rule5)) -> rule2))] @3: The cow chases the bear.[(((((((triple3 triple1) -> rule5)) -> rule2)) -> rule6) OR ((((((triple4 triple1) -> rule5)) -> rule2)) -> rule6))]