The cow sees the mouse. The lion is not kind. The lion does not like the mouse. The mouse is kind. The mouse is red. The mouse is round. The mouse likes the cow. The mouse likes the lion. The mouse needs the cow. The mouse sees the lion. The tiger is cold. The tiger needs the cow. If someone is big then they like the cow. If someone needs the tiger and they are not round then they see the lion. If someone sees the mouse then they are big. If the tiger sees the lion then the lion does not need the cow. If someone is big then they are cold. If the tiger sees the lion and the tiger needs the cow then the cow does not like the mouse. If someone sees the mouse and the mouse is red then the mouse needs the lion. If someone likes the mouse and they are big then they need the lion.
The mouse is red.
@0: The cow sees the mouse.[(triple1)] The lion does not like the mouse.[(triple3)] The lion is not kind.[(triple2)] The mouse is kind.[(triple4)] The mouse is red.[(triple5)] The mouse is round.[(triple6)] The mouse likes the cow.[(triple7)] The mouse likes the lion.[(triple8)] The mouse needs the cow.[(triple9)] The mouse sees the lion.[(triple10)] The tiger is cold.[(triple11)] The tiger needs the cow.[(triple12)] @1: The cow is big.[(((triple1) -> rule3))] The mouse needs the lion.[(((triple1 triple5) -> rule7))] @2: The cow is cold.[(((((triple1) -> rule3)) -> rule5))] The cow likes the cow.[(((((triple1) -> rule3)) -> rule1))]