The cow is cold. The cow does not see the lion. The cow sees the mouse. The dog visits the lion. The lion is big. The lion visits the dog. The mouse visits the dog. If the dog is rough and the cow does not see the dog then the cow is not rough. If someone eats the mouse then they are kind. If the mouse sees the lion then the lion does not visit the mouse. Cold people are rough. If someone visits the lion then they are cold. If someone visits the cow then they see the lion. If someone sees the lion then they visit the cow. If someone is big then they visit the lion.
The lion does not visit the mouse.
@0: The cow does not see the lion.[(triple2)] The cow is cold.[(triple1)] The cow sees the mouse.[(triple3)] The dog visits the lion.[(triple4)] The lion is big.[(triple5)] The lion visits the dog.[(triple6)] The mouse visits the dog.[(triple7)] @1: The cow is rough.[(((triple1) -> rule4))] The dog is cold.[(((triple4) -> rule5))] The lion visits the lion.[(((triple5) -> rule8))] @2: The dog is rough.[(((((triple4) -> rule5)) -> rule4))] The lion is cold.[(((((triple5) -> rule8)) -> rule5))] @3: The lion is rough.[(((((((triple5) -> rule8)) -> rule5)) -> rule4))]