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