The bear is blue. The bear is kind. The bear is red. The bear likes the cow. The bear likes the mouse. The bear visits the mouse. The cow chases the bear. The cow is green. The cow is kind. The cow likes the mouse. The cow visits the bear. The mouse chases the bear. The mouse is red. The mouse likes the bear. The mouse visits the bear. The mouse visits the cow. If the bear likes the mouse then the mouse chases the bear. If something likes the bear and the bear visits the cow then the cow visits the mouse. If something visits the mouse and the mouse is green then the mouse likes the cow. If the mouse is blue and the mouse chases the cow then the mouse chases the bear. If something visits the bear then it likes the mouse. If something visits the mouse and it chases the mouse then the mouse chases the cow.
The bear is blue.
("bear" "is" "blue" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
If the bear likes the mouse then the mouse chases the bear.
((("bear" "likes" "mouse" "+")) -> ("mouse" "chases" "bear" "+"))
If something likes the bear and the bear visits the cow then the cow visits the mouse.
((("something" "likes" "bear" "+") ("bear" "visits" "cow" "+")) -> ("cow" "visits" "mouse" "+"))
If something visits the mouse and the mouse is green then the mouse likes the cow.
((("something" "visits" "mouse" "+") ("mouse" "is" "green" "+")) -> ("mouse" "likes" "cow" "+"))
If the mouse is blue and the mouse chases the cow then the mouse chases the bear.
((("mouse" "is" "blue" "+") ("mouse" "chases" "cow" "+")) -> ("mouse" "chases" "bear" "+"))
If something visits the bear then it likes the mouse.
((("something" "visits" "bear" "+")) -> ("something" "likes" "mouse" "+"))
If something visits the mouse and it chases the mouse then the mouse chases the cow.
((("something" "visits" "mouse" "+") ("something" "chases" "mouse" "+")) -> ("mouse" "chases" "cow" "+"))
The cow likes the mouse.
True
1
proof
[(triple10 OR ((triple11) -> rule5))]
("cow" "likes" "mouse" "+")
triple10
((triple11) -> (rule5 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The bear does not like the cow.
False
1
inv-proof
[(triple4)]
("bear" "likes" "cow" "-")
triple4
The mouse likes the mouse.
True
2
proof
[(((triple15) -> rule5))]
("mouse" "likes" "mouse" "+")
((triple15) -> (rule5 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse does not like the mouse.
False
2
inv-proof
[(((triple15) -> rule5))]
("mouse" "likes" "mouse" "-")
((triple15) -> (rule5 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse does not chase the cow.
Unknown
inv-rconc
[@1: The mouse chases the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "chases" "cow" "-")
The mouse likes the cow.
Unknown
rconc
[@1: The mouse likes the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "likes" "cow" "+")
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The bear is blue.[(triple1)] The bear is kind.[(triple2)] The bear is red.[(triple3)] The bear likes the cow.[(triple4)] The bear likes the mouse.[(triple5)] The bear visits the mouse.[(triple6)] The cow chases the bear.[(triple7)] The cow is green.[(triple8)] The cow is kind.[(triple9)] The cow likes the mouse.[(triple10 OR ((triple11) -> rule5))] The cow visits the bear.[(triple11)] The mouse chases the bear.[(triple12 OR ((triple5) -> rule1))] The mouse is red.[(triple13)] The mouse likes the bear.[(triple14)] The mouse visits the bear.[(triple15)] The mouse visits the cow.[(triple16)] @1: The mouse likes the mouse.[(((triple15) -> rule5))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear likes the cow.
("bear" "likes" "cow" "+")
triple4
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple5
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple6
The cow chases the bear.
("cow" "chases" "bear" "+")
triple7
The cow is green.
("cow" "is" "green" "+")
triple8
The cow is kind.
("cow" "is" "kind" "+")
triple9
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple10
((triple11) -> (rule5 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
triple11
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple12
((triple5) -> (rule1 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
triple13
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple14
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple15
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple16
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple15) -> (rule5 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1