The cat eats the lion. The cat eats the mouse. The cat is blue. The cat is cold. The cat likes the lion. The cat likes the mouse. The cat needs the lion. The cat needs the mouse. The lion eats the cat. The lion is cold. The lion is green. The lion likes the cat. The lion likes the mouse. The mouse eats the cat. The mouse eats the lion. The mouse is cold. If someone is blue and they like the cat then the cat is blue. If someone eats the lion and the lion is cold then they need the mouse. All blue people are young. If someone eats the mouse then the mouse needs the lion. If someone likes the mouse and the mouse eats the cat then they eat the lion. All cold people are young. If someone needs the cat then they need the mouse. If someone likes the cat then they need the mouse.
The cat likes the cat.
@0: The cat eats the lion.[(triple1 OR ((triple6 triple14) -> rule5))] The cat eats the mouse.[(triple2)] The cat is blue.[(triple3)] The cat is cold.[(triple4)] The cat likes the lion.[(triple5)] The cat likes the mouse.[(triple6)] The cat needs the lion.[(triple7)] The cat needs the mouse.[(triple8 OR ((triple1 triple10) -> rule2) OR ((((triple6 triple14) -> rule5) triple10) -> rule2))] The lion eats the cat.[(triple9)] The lion is cold.[(triple10)] The lion is green.[(triple11)] The lion likes the cat.[(triple12)] The lion likes the mouse.[(triple13)] The mouse eats the cat.[(triple14)] The mouse eats the lion.[(triple15)] The mouse is cold.[(triple16)] @1: The cat is young.[(((triple3) -> rule3) OR ((triple4) -> rule6))] The lion eats the lion.[(((triple13 triple14) -> rule5))] The lion is young.[(((triple10) -> rule6))] The lion needs the mouse.[(((triple12) -> rule8) OR ((((triple13 triple14) -> rule5) triple10) -> rule2))] The mouse is young.[(((triple16) -> rule6))] The mouse needs the lion.[(((triple2) -> rule4))] The mouse needs the mouse.[(((triple15 triple10) -> rule2))]