The bear visits the cow. The cow eats the rabbit. The dog visits the bear. The rabbit eats the bear. If something is big then it visits the cow. If something likes the bear then it is round. If something likes the bear then it eats the cow. If something visits the cow then it likes the bear. If something is big and it eats the rabbit then it eats the dog. If the cow eats the rabbit and the rabbit visits the dog then the rabbit visits the bear. All round things are rough. If something is red and it likes the rabbit then the rabbit eats the bear.
The bear does not like the bear.
@0: The bear visits the cow.[(triple1)] The cow eats the rabbit.[(triple2)] The dog visits the bear.[(triple3)] The rabbit eats the bear.[(triple4)] @1: The bear likes the bear.[(((triple1) -> rule4))] @2: The bear eats the cow.[(((((triple1) -> rule4)) -> rule3))] The bear is round.[(((((triple1) -> rule4)) -> rule2))] @3: The bear is rough.[(((((((triple1) -> rule4)) -> rule2)) -> rule7))]