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