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