The bear likes the lion. The bear visits the lion. The cow is red. The cow likes the bear. The cow visits the bear. The lion is blue. The lion needs the cow. If someone is blue and they visit the bear then the bear needs the cow. If someone is blue then they visit the bear. If someone needs the lion and the lion likes the cow then the lion visits the cow. If someone is red then they need the bear. If someone needs the cow and they need the lion then the cow is round. If someone likes the lion then the lion is blue.
The bear does not like the lion.
@0: The bear likes the lion.[(triple1)] The bear visits the lion.[(triple2)] The cow is red.[(triple3)] The cow likes the bear.[(triple4)] The cow visits the bear.[(triple5)] The lion is blue.[(triple6 OR ((triple1) -> rule6))] The lion needs the cow.[(triple7)] @1: The cow needs the bear.[(((triple3) -> rule4))] The lion visits the bear.[(((triple6) -> rule2) OR ((((triple1) -> rule6)) -> rule2))] @2: The bear needs the cow.[(((triple6 ((triple6) -> rule2)) -> rule1) OR ((((triple1) -> rule6) ((triple6) -> rule2)) -> rule1) OR ((triple6 ((((triple1) -> rule6)) -> rule2)) -> rule1) OR ((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule2)) -> rule1))]