The bear is red. The cow chases the tiger. The mouse visits the bear. The tiger chases the bear. If someone visits the bear then they are cold. If the bear is big then the bear visits the tiger.
The bear is red.
("bear" "is" "red" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
If someone visits the bear then they are cold.
((("someone" "visits" "bear" "+")) -> ("someone" "is" "cold" "+"))
If the bear is big then the bear visits the tiger.
((("bear" "is" "big" "+")) -> ("bear" "visits" "tiger" "+"))
The tiger chases the bear.
True
1
proof
[(triple4)]
("tiger" "chases" "bear" "+")
triple4
The mouse does not visit the bear.
False
1
inv-proof
[(triple3)]
("mouse" "visits" "bear" "-")
triple3
The mouse is cold.
True
2
proof
[(((triple3) -> rule1))]
("mouse" "is" "cold" "+")
((triple3) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is not cold.
False
2
inv-proof
[(((triple3) -> rule1))]
("mouse" "is" "cold" "-")
((triple3) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The bear does not visit the tiger.
Unknown
inv-rconc
[@1: The bear visits the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "visits" "tiger" "-")
The cow is cold.
Unknown
rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "cold" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
@0: The bear is red.[(triple1)] The cow chases the tiger.[(triple2)] The mouse visits the bear.[(triple3)] The tiger chases the bear.[(triple4)] @1: The mouse is cold.[(((triple3) -> rule1))]
The bear is red.
("bear" "is" "red" "+")
triple1
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple2
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple3
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple4
The mouse is cold.
("mouse" "is" "cold" "+")
((triple3) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1