The bear visits the cat. The cat is cold. The cat sees the mouse. The mouse likes the rabbit. The mouse sees the rabbit. The mouse visits the rabbit. The rabbit is blue. The rabbit is round. The rabbit likes the mouse. The rabbit sees the cat. If something visits the cat and it likes the cat then the cat visits the mouse. If something visits the mouse then it sees the bear. If something likes the cat then it visits the cat. If the bear sees the mouse and the mouse is big then the mouse likes the bear. If something visits the cat then it likes the cat. If the cat likes the bear and the bear is big then the cat likes the mouse. If something is blue and it sees the cat then the cat is big. If something likes the mouse then it sees the rabbit.
The cat does not visit the mouse.
@0: The bear visits the cat.[(triple1)] The cat is cold.[(triple2)] The cat sees the mouse.[(triple3)] The mouse likes the rabbit.[(triple4)] The mouse sees the rabbit.[(triple5)] The mouse visits the rabbit.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is round.[(triple8)] The rabbit likes the mouse.[(triple9)] The rabbit sees the cat.[(triple10)] @1: The bear likes the cat.[(((triple1) -> rule5))] The cat is big.[(((triple7 triple10) -> rule7))] The rabbit sees the rabbit.[(((triple9) -> rule8))] @2: The cat visits the mouse.[(((triple1 ((triple1) -> rule5)) -> rule1))] @3: The cat sees the bear.[(((((triple1 ((triple1) -> rule5)) -> rule1)) -> rule2))]