The bear eats the cat. The bear is green. The cat eats the bear. If someone visits the cat and the cat visits the bear then they eat the bear. If someone eats the cat then they visit the cat. If someone visits the bear and the bear visits the cat then the bear is kind. If someone visits the cat and they like the cat then they are green. If someone eats the bear then the bear likes the cat. If someone visits the cat then the cat eats the bear.
The bear likes the bear.
@0: The bear eats the cat.[(triple1)] The bear is green.[(triple2 OR ((((triple1) -> rule2) ((triple3) -> rule5)) -> rule4) OR ((((triple1) -> rule2) ((((((triple1) -> rule2)) -> rule6)) -> rule5)) -> rule4))] The cat eats the bear.[(triple3 OR ((((triple1) -> rule2)) -> rule6))] @1: The bear likes the cat.[(((triple3) -> rule5) OR ((((((triple1) -> rule2)) -> rule6)) -> rule5))] The bear visits the cat.[(((triple1) -> rule2))]