The bear chases the squirrel. The bear visits the mouse. The mouse eats the squirrel. The squirrel eats the mouse. The squirrel is round. The tiger chases the bear. The tiger is rough. The tiger visits the bear. The tiger visits the mouse. The tiger visits the squirrel. If someone is cold then they visit the tiger. If someone chases the squirrel then they are cold.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone is cold then they visit the tiger.
((("someone" "is" "cold" "+")) -> ("someone" "visits" "tiger" "+"))
If someone chases the squirrel then they are cold.
((("someone" "chases" "squirrel" "+")) -> ("someone" "is" "cold" "+"))
The tiger visits the bear.
True
1
proof
[(triple8)]
("tiger" "visits" "bear" "+")
triple8
The tiger does not chase the bear.
False
1
inv-proof
[(triple6)]
("tiger" "chases" "bear" "-")
triple6
The bear is cold.
True
2
proof
[(((triple1) -> rule2))]
("bear" "is" "cold" "+")
((triple1) -> (rule2 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is not cold.
False
2
inv-proof
[(((triple1) -> rule2))]
("bear" "is" "cold" "-")
((triple1) -> (rule2 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear visits the tiger.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("bear" "visits" "tiger" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear does not visit the tiger.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("bear" "visits" "tiger" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The squirrel is not cold.
Unknown
inv-rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "cold" "-")
The mouse visits the tiger.
Unknown
rconc
[@2: The mouse visits the tiger.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("mouse" "visits" "tiger" "+")
The mouse is not cold.
Unknown
inv-rconc
[@1: The mouse is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "cold" "-")
The bear eats the mouse.
Unknown
random
[@0: The bear eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "mouse" "+")
The mouse does not chase the bear.
Unknown
inv-random
[@0: The mouse chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "bear" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
@0: The bear chases the squirrel.[(triple1)] The bear visits the mouse.[(triple2)] The mouse eats the squirrel.[(triple3)] The squirrel eats the mouse.[(triple4)] The squirrel is round.[(triple5)] The tiger chases the bear.[(triple6)] The tiger is rough.[(triple7)] The tiger visits the bear.[(triple8)] The tiger visits the mouse.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The bear is cold.[(((triple1) -> rule2))] @2: The bear visits the tiger.[(((((triple1) -> rule2)) -> rule1))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple2
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple3
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple4
The squirrel is round.
("squirrel" "is" "round" "+")
triple5
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple6
The tiger is rough.
("tiger" "is" "rough" "+")
triple7
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple8
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple9
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple10
The bear is cold.
("bear" "is" "cold" "+")
((triple1) -> (rule2 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2