The cat eats the mouse. The cat is young. The lion eats the cat. The lion eats the mouse. The lion is cold. The lion likes the cat. The lion needs the cat. The lion needs the mouse. The mouse eats the lion. The mouse is cold. The mouse likes the rabbit. The rabbit eats the mouse. The rabbit is cold. The rabbit needs the cat. The rabbit needs the mouse. If the cat is red then the cat needs the lion. If something is cold and it needs the cat then the cat is nice. If something is blue and young then it likes the rabbit. If something is cold and it needs the mouse then it likes the mouse. If something needs the cat and the cat is nice then the cat is red. If something needs the lion then the lion needs the mouse. If something eats the cat then it likes the rabbit. If something is cold then it is red.
The rabbit eats the cat.
@0: The cat eats the mouse.[(triple1)] The cat is young.[(triple2)] The lion eats the cat.[(triple3)] The lion eats the mouse.[(triple4)] The lion is cold.[(triple5)] The lion likes the cat.[(triple6)] The lion needs the cat.[(triple7)] The lion needs the mouse.[(triple8 OR ((((((triple14 ((triple13 triple14) -> rule2)) -> rule5)) -> rule1)) -> rule6) OR ((((((triple14 ((triple5 triple7) -> rule2)) -> rule5)) -> rule1)) -> rule6) OR ((((((triple7 ((triple13 triple14) -> rule2)) -> rule5)) -> rule1)) -> rule6) OR ((((((triple7 ((triple5 triple7) -> rule2)) -> rule5)) -> rule1)) -> rule6))] The mouse eats the lion.[(triple9)] The mouse is cold.[(triple10)] The mouse likes the rabbit.[(triple11)] The rabbit eats the mouse.[(triple12)] The rabbit is cold.[(triple13)] The rabbit needs the cat.[(triple14)] The rabbit needs the mouse.[(triple15)] @1: The cat is nice.[(((triple13 triple14) -> rule2) OR ((triple5 triple7) -> rule2))] The lion is red.[(((triple5) -> rule8))] The lion likes the mouse.[(((triple5 triple8) -> rule4) OR ((triple5 ((((((triple14 ((triple13 triple14) -> rule2)) -> rule5)) -> rule1)) -> rule6)) -> rule4) OR ((triple5 ((((((triple14 ((triple5 triple7) -> rule2)) -> rule5)) -> rule1)) -> rule6)) -> rule4) OR ((triple5 ((((((triple7 ((triple13 triple14) -> rule2)) -> rule5)) -> rule1)) -> rule6)) -> rule4) OR ((triple5 ((((((triple7 ((triple5 triple7) -> rule2)) -> rule5)) -> rule1)) -> rule6)) -> rule4))] The lion likes the rabbit.[(((triple3) -> rule7))] The mouse is red.[(((triple10) -> rule8))] The rabbit is red.[(((triple13) -> rule8))] The rabbit likes the mouse.[(((triple13 triple15) -> rule4))] @2: The cat is red.[(((triple14 ((triple13 triple14) -> rule2)) -> rule5) OR ((triple14 ((triple5 triple7) -> rule2)) -> rule5) OR ((triple7 ((triple13 triple14) -> rule2)) -> rule5) OR ((triple7 ((triple5 triple7) -> rule2)) -> rule5))] @3: The cat needs the lion.[(((((triple14 ((triple13 triple14) -> rule2)) -> rule5)) -> rule1) OR ((((triple14 ((triple5 triple7) -> rule2)) -> rule5)) -> rule1) OR ((((triple7 ((triple13 triple14) -> rule2)) -> rule5)) -> rule1) OR ((((triple7 ((triple5 triple7) -> rule2)) -> rule5)) -> rule1))]