The cat chases the rabbit. The cat chases the tiger. The cat sees the mouse. The cat does not see the rabbit. The mouse chases the cat. The mouse does not like the cat. The rabbit likes the tiger. The tiger is nice. The tiger is young. The tiger likes the cat. All big things are blue. If the cat sees the tiger then the cat chases the tiger. If something likes the rabbit then the rabbit does not like the mouse. All blue things are young. If something is blue then it is young. If something chases the cat then it likes the mouse. If something is young then it likes the tiger. If something likes the mouse then the mouse is big. If something sees the mouse and the mouse is not blue then the mouse likes the cat.
The mouse does not like the tiger.
@0: The cat chases the rabbit.[(triple1)] The cat chases the tiger.[(triple2)] The cat does not see the rabbit.[(triple4)] The cat sees the mouse.[(triple3)] The mouse chases the cat.[(triple5)] The mouse does not like the cat.[(triple6)] The rabbit likes the tiger.[(triple7)] The tiger is nice.[(triple8)] The tiger is young.[(triple9)] The tiger likes the cat.[(triple10)] @1: The mouse likes the mouse.[(((triple5) -> rule6))] The tiger likes the tiger.[(((triple9) -> rule7))] @2: The mouse is big.[(((((triple5) -> rule6)) -> rule8))] @3: The mouse is blue.[(((((((triple5) -> rule6)) -> rule8)) -> rule1))] @4: The mouse is young.[(((((((((triple5) -> rule6)) -> rule8)) -> rule1)) -> rule4) OR ((((((((triple5) -> rule6)) -> rule8)) -> rule1)) -> rule5))] @5: The mouse likes the tiger.[(((((((((((triple5) -> rule6)) -> rule8)) -> rule1)) -> rule4)) -> rule7) OR ((((((((((triple5) -> rule6)) -> rule8)) -> rule1)) -> rule5)) -> rule7))]