The bear is red. The cat is nice. The cat is round. The cat needs the rabbit. The cat visits the rabbit. The mouse is nice. The mouse is red. The mouse likes the bear. The mouse likes the cat. The rabbit is round. The rabbit likes the bear. The rabbit visits the mouse. If the mouse likes the bear and the bear likes the cat then the mouse needs the bear. If someone visits the mouse and they visit the rabbit then the mouse visits the rabbit. If someone likes the mouse and they are round then the mouse needs the rabbit. If the cat visits the rabbit then the rabbit is young. If the rabbit likes the cat and the cat likes the rabbit then the cat likes the bear. If the cat needs the bear and the bear is cold then the bear is nice. If someone is young and they visit the bear then they visit the rabbit. If the rabbit is young then the rabbit visits the bear.
The cat likes the bear.
@0: The bear is red.[(triple1)] The cat is nice.[(triple2)] The cat is round.[(triple3)] The cat needs the rabbit.[(triple4)] The cat visits the rabbit.[(triple5)] The mouse is nice.[(triple6)] The mouse is red.[(triple7)] The mouse likes the bear.[(triple8)] The mouse likes the cat.[(triple9)] The rabbit is round.[(triple10)] The rabbit likes the bear.[(triple11)] The rabbit visits the mouse.[(triple12)] @1: The rabbit is young.[(((triple5) -> rule4))] @2: The rabbit visits the bear.[(((((triple5) -> rule4)) -> rule8))] @3: The rabbit visits the rabbit.[(((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule8)) -> rule7))] @4: The mouse visits the rabbit.[(((triple12 ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule8)) -> rule7)) -> rule2))]