The cat is big. The cat is cold. The cat likes the cow. The cat needs the cow. The cat needs the tiger. The cow eats the mouse. The cow is round. The cow likes the mouse. The mouse eats the cow. The mouse is big. The mouse likes the cow. The tiger eats the mouse. The tiger likes the cat. The tiger needs the cow. The tiger needs the mouse. If something is young and big then it eats the mouse. If something is big and it likes the cow then it is round. If something is big then it needs the mouse. If something is round then it needs the cat. If something is big then it likes the cow. If something eats the cow and it needs the cat then the cat is kind.
The tiger needs the cat.
@0: The cat is big.[(triple1)] The cat is cold.[(triple2)] The cat likes the cow.[(triple3 OR ((triple1) -> rule5))] The cat needs the cow.[(triple4)] The cat needs the tiger.[(triple5)] The cow eats the mouse.[(triple6)] The cow is round.[(triple7)] The cow likes the mouse.[(triple8)] The mouse eats the cow.[(triple9)] The mouse is big.[(triple10)] The mouse likes the cow.[(triple11 OR ((triple10) -> rule5))] The tiger eats the mouse.[(triple12)] The tiger likes the cat.[(triple13)] The tiger needs the cow.[(triple14)] The tiger needs the mouse.[(triple15)] @1: The cat is round.[(((triple1 triple3) -> rule2) OR ((triple1 ((triple1) -> rule5)) -> rule2))] The cat needs the mouse.[(((triple1) -> rule3))] The cow needs the cat.[(((triple7) -> rule4))] The mouse is round.[(((triple10 triple11) -> rule2) OR ((triple10 ((triple10) -> rule5)) -> rule2))] The mouse needs the mouse.[(((triple10) -> rule3))] @2: The cat needs the cat.[(((((triple1 triple3) -> rule2)) -> rule4) OR ((((triple1 ((triple1) -> rule5)) -> rule2)) -> rule4))] The mouse needs the cat.[(((((triple10 triple11) -> rule2)) -> rule4) OR ((((triple10 ((triple10) -> rule5)) -> rule2)) -> rule4))] @3: The cat is kind.[(((triple9 ((((triple10 triple11) -> rule2)) -> rule4)) -> rule6) OR ((triple9 ((((triple10 ((triple10) -> rule5)) -> rule2)) -> rule4)) -> rule6))]