The bear eats the mouse. The bear eats the squirrel. The bear is nice. The bear visits the squirrel. The mouse chases the bear. The mouse eats the squirrel. The mouse is cold. The mouse is nice. The mouse is round. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel is blue. If something chases the bear and the bear eats the squirrel then it is green.
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
If something chases the bear and the bear eats the squirrel then it is green.
((("something" "chases" "bear" "+") ("bear" "eats" "squirrel" "+")) -> ("something" "is" "green" "+"))
The squirrel chases the mouse.
True
1
proof
[(triple11)]
("squirrel" "chases" "mouse" "+")
triple11
The mouse does not visit the squirrel.
False
1
inv-proof
[(triple10)]
("mouse" "visits" "squirrel" "-")
triple10
The mouse is green.
True
3
proof
[(((triple5 triple2) -> rule1))]
("mouse" "is" "green" "+")
((triple5 triple2) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is not green.
False
3
inv-proof
[(((triple5 triple2) -> rule1))]
("mouse" "is" "green" "-")
((triple5 triple2) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "green" "-")
The bear is green.
Unknown
rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "green" "+")
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear eats the mouse.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is nice.[(triple3)] The bear visits the squirrel.[(triple4)] The mouse chases the bear.[(triple5)] The mouse eats the squirrel.[(triple6)] The mouse is cold.[(triple7)] The mouse is nice.[(triple8)] The mouse is round.[(triple9)] The mouse visits the squirrel.[(triple10)] The squirrel chases the mouse.[(triple11)] The squirrel is blue.[(triple12)] @1: The mouse is green.[(((triple5 triple2) -> rule1))]
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple5
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple6
The mouse is cold.
("mouse" "is" "cold" "+")
triple7
The mouse is nice.
("mouse" "is" "nice" "+")
triple8
The mouse is round.
("mouse" "is" "round" "+")
triple9
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple10
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple11
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple12
The mouse is green.
("mouse" "is" "green" "+")
((triple5 triple2) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1