The cat eats the mouse. The cat eats the tiger. The cat is big. The cat is not rough. The cat likes the mouse. The cat visits the mouse. The mouse eats the tiger. The mouse is green. The mouse is kind. The mouse does not like the cat. The mouse does not like the tiger. The mouse does not visit the cat. The mouse does not visit the tiger. The tiger is cold. The tiger is green. If the tiger visits the cat then the cat is big. If something is kind and cold then it eats the mouse. If something likes the tiger then it visits the cat. If something is green and it eats the cat then the cat visits the mouse. If something likes the tiger then the tiger does not eat the mouse. If something visits the tiger then the tiger eats the mouse. If something eats the mouse then it likes the mouse. If the tiger is green then the tiger is kind.
The tiger likes the mouse.
@0: The cat eats the mouse.[(triple1)] The cat eats the tiger.[(triple2)] The cat is big.[(triple3)] The cat is not rough.[(triple4)] The cat likes the mouse.[(triple5 OR ((triple1) -> rule7))] The cat visits the mouse.[(triple6)] The mouse does not like the cat.[(triple10)] The mouse does not like the tiger.[(triple11)] The mouse does not visit the cat.[(triple12)] The mouse does not visit the tiger.[(triple13)] The mouse eats the tiger.[(triple7)] The mouse is green.[(triple8)] The mouse is kind.[(triple9)] The tiger is cold.[(triple14)] The tiger is green.[(triple15)] @1: The tiger is kind.[(((triple15) -> rule8))] @2: The tiger eats the mouse.[(((((triple15) -> rule8) triple14) -> rule2))] @3: The tiger likes the mouse.[(((((((triple15) -> rule8) triple14) -> rule2)) -> rule7))]