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