The cow sees the rabbit. The mouse likes the rabbit. The rabbit is cold. If someone likes the mouse then the mouse is kind. If someone sees the rabbit and they see the cow then they need the cow. If someone is green then they do not need the cow. If someone is blue then they need the rabbit. If someone is nice and they do not like the cow then they are kind. If someone sees the rabbit then the rabbit is blue. If someone needs the mouse and they see the rabbit then they are nice. If someone needs the rabbit then they like the mouse.
The mouse is not green.
@0: The cow sees the rabbit.[(triple1)] The mouse likes the rabbit.[(triple2)] The rabbit is cold.[(triple3)] @1: The rabbit is blue.[(((triple1) -> rule6))] @2: The rabbit needs the rabbit.[(((((triple1) -> rule6)) -> rule4))] @3: The rabbit likes the mouse.[(((((((triple1) -> rule6)) -> rule4)) -> rule8))] @4: The mouse is kind.[(((((((((triple1) -> rule6)) -> rule4)) -> rule8)) -> rule1))]