The cow is cold. The cow is kind. The cow visits the rabbit. The mouse likes the cow. The rabbit is cold. The rabbit is not green. The rabbit visits the cow. If someone likes the mouse then they visit the cow. If someone visits the cow then they are not green. If someone likes the cow then they like the mouse. If the cow likes the rabbit then the rabbit is not cold. If the cow visits the mouse and the cow likes the rabbit then the rabbit visits the cow. If someone needs the rabbit and they do not like the mouse then the mouse does not need the cow.
The mouse is not rough.
@0: The cow is cold.[(triple1)] The cow is kind.[(triple2)] The cow visits the rabbit.[(triple3)] The mouse likes the cow.[(triple4)] The rabbit is cold.[(triple5)] The rabbit is not green.[(triple6 OR ((triple7) -> rule2))] The rabbit visits the cow.[(triple7)] @1: The mouse likes the mouse.[(((triple4) -> rule3))] @2: The mouse visits the cow.[(((((triple4) -> rule3)) -> rule1))] @3: The mouse is not green.[(((((((triple4) -> rule3)) -> rule1)) -> rule2))]