The bear likes the mouse. The bear visits the mouse. The cat is rough. The cat is round. The cat likes the bear. The cat likes the mouse. The cat needs the bear. The cat visits the bear. The mouse is big. The mouse is round. The mouse likes the bear. The mouse needs the bear. If something visits the cat then the cat needs the mouse. If something is big then it is cold. If the mouse visits the cat and the mouse is cold then the mouse needs the cat. If something is round and red then it needs the mouse. If the bear visits the cat and the cat visits the bear then the bear visits the mouse. If the mouse is cold then the mouse visits the bear.
The mouse is round.
@0: The bear likes the mouse.[(triple1)] The bear visits the mouse.[(triple2)] The cat is rough.[(triple3)] The cat is round.[(triple4)] The cat likes the bear.[(triple5)] The cat likes the mouse.[(triple6)] The cat needs the bear.[(triple7)] The cat visits the bear.[(triple8)] The mouse is big.[(triple9)] The mouse is round.[(triple10)] The mouse likes the bear.[(triple11)] The mouse needs the bear.[(triple12)] @1: The mouse is cold.[(((triple9) -> rule2))] @2: The mouse visits the bear.[(((((triple9) -> rule2)) -> rule6))]