The cow is young. The cow likes the mouse. The cow sees the mouse. The lion is rough. The lion likes the cow. The lion likes the mouse. The lion sees the cow. The lion sees the mouse. The lion visits the mouse. The mouse is rough. The mouse sees the cow. The mouse visits the lion. If someone sees the lion then they like the lion. If someone visits the cow and the cow likes the lion then the cow is red. If the cow does not visit the lion then the cow is red. If someone is young and they see the lion then the lion is rough. If someone sees the cow then the cow sees the lion. If the lion is rough then the lion visits the cow. If the mouse is rough then the mouse likes the cow. If someone is young and they visit the lion then they see the mouse.
The mouse likes the lion.
@0: The cow is young.[(triple1)] The cow likes the mouse.[(triple2)] The cow sees the mouse.[(triple3)] The lion is rough.[(triple4 OR ((triple1 ((triple11) -> rule5)) -> rule4) OR ((triple1 ((triple7) -> rule5)) -> rule4))] The lion likes the cow.[(triple5)] The lion likes the mouse.[(triple6)] The lion sees the cow.[(triple7)] The lion sees the mouse.[(triple8)] The lion visits the mouse.[(triple9)] The mouse is rough.[(triple10)] The mouse sees the cow.[(triple11)] The mouse visits the lion.[(triple12)] @1: The cow sees the lion.[(((triple11) -> rule5) OR ((triple7) -> rule5))] The lion visits the cow.[(((triple4) -> rule6) OR ((((triple1 ((triple11) -> rule5)) -> rule4)) -> rule6) OR ((((triple1 ((triple7) -> rule5)) -> rule4)) -> rule6))] The mouse likes the cow.[(((triple10) -> rule7))] @2: The cow likes the lion.[(((((triple11) -> rule5)) -> rule1) OR ((((triple7) -> rule5)) -> rule1))] @3: The cow is red.[(((((triple4) -> rule6) ((((triple11) -> rule5)) -> rule1)) -> rule2) OR ((((triple4) -> rule6) ((((triple7) -> rule5)) -> rule1)) -> rule2) OR ((((((triple1 ((triple11) -> rule5)) -> rule4)) -> rule6) ((((triple11) -> rule5)) -> rule1)) -> rule2) OR ((((((triple1 ((triple11) -> rule5)) -> rule4)) -> rule6) ((((triple7) -> rule5)) -> rule1)) -> rule2) OR ((((((triple1 ((triple7) -> rule5)) -> rule4)) -> rule6) ((((triple11) -> rule5)) -> rule1)) -> rule2) OR ((((((triple1 ((triple7) -> rule5)) -> rule4)) -> rule6) ((((triple7) -> rule5)) -> rule1)) -> rule2))]