The cat does not chase the mouse. The cat is kind. The cat sees the cow. The cat sees the mouse. The cow does not chase the cat. The cow does not chase the mouse. The cow is not blue. The cow is cold. The cow is kind. The cow is rough. The cow sees the mouse. The mouse eats the cow. The mouse is blue. The mouse is green. The mouse is rough. If something is kind and cold then it does not chase the mouse. If the cat eats the mouse and the cat is not rough then the mouse chases the cow.
The cat does not chase the mouse.
("cat" "chases" "mouse" "-")
The cat is kind.
("cat" "is" "kind" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The cow does not chase the cat.
("cow" "chases" "cat" "-")
The cow does not chase the mouse.
("cow" "chases" "mouse" "-")
The cow is not blue.
("cow" "is" "blue" "-")
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
If something is kind and cold then it does not chase the mouse.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "chases" "mouse" "-"))
If the cat eats the mouse and the cat is not rough then the mouse chases the cow.
((("cat" "eats" "mouse" "+") ("cat" "is" "rough" "~")) -> ("mouse" "chases" "cow" "+"))
The cat does not chase the mouse.
True
1
proof
[(triple1)]
("cat" "chases" "mouse" "-")
triple1
The cat is not kind.
False
1
inv-proof
[(triple2)]
("cat" "is" "kind" "-")
triple2
The mouse does not chase the cow.
Unknown
inv-rconc
[@1: The mouse chases the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "chases" "cow" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The cat does not chase the mouse.[(triple1)] The cat is kind.[(triple2)] The cat sees the cow.[(triple3)] The cat sees the mouse.[(triple4)] The cow does not chase the cat.[(triple5)] The cow does not chase the mouse.[(triple6 OR ((triple9 triple8) -> rule1))] The cow is cold.[(triple8)] The cow is kind.[(triple9)] The cow is not blue.[(triple7)] The cow is rough.[(triple10)] The cow sees the mouse.[(triple11)] The mouse eats the cow.[(triple12)] The mouse is blue.[(triple13)] The mouse is green.[(triple14)] The mouse is rough.[(triple15)]
The cat does not chase the mouse.
("cat" "chases" "mouse" "-")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat sees the cow.
("cat" "sees" "cow" "+")
triple3
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple4
The cow does not chase the cat.
("cow" "chases" "cat" "-")
triple5
The cow does not chase the mouse.
("cow" "chases" "mouse" "-")
triple6
((triple9 triple8) -> (rule1 % int1))
The cow does not chase the mouse.
("cow" "chases" "mouse" "-")
int1
The cow is cold.
("cow" "is" "cold" "+")
triple8
The cow is kind.
("cow" "is" "kind" "+")
triple9
The cow is not blue.
("cow" "is" "blue" "-")
triple7
The cow is rough.
("cow" "is" "rough" "+")
triple10
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple11
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple12
The mouse is blue.
("mouse" "is" "blue" "+")
triple13
The mouse is green.
("mouse" "is" "green" "+")
triple14
The mouse is rough.
("mouse" "is" "rough" "+")
triple15