The bear chases the squirrel. The bear is not big. The bear is green. The bear is not rough. The bear needs the squirrel. The bear does not visit the squirrel. The squirrel is big. The squirrel is round. The squirrel does not need the bear. The squirrel visits the bear. If something is rough then it chases the squirrel. If something chases the squirrel then the squirrel chases the bear.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is not big.
("bear" "is" "big" "-")
The bear is green.
("bear" "is" "green" "+")
The bear is not rough.
("bear" "is" "rough" "-")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If something is rough then it chases the squirrel.
((("something" "is" "rough" "+")) -> ("something" "chases" "squirrel" "+"))
If something chases the squirrel then the squirrel chases the bear.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "chases" "bear" "+"))
The bear needs the squirrel.
True
1
proof
[(triple5)]
("bear" "needs" "squirrel" "+")
triple5
The squirrel is not round.
False
1
inv-proof
[(triple8)]
("squirrel" "is" "round" "-")
triple8
The squirrel chases the bear.
True
2
proof
[(((triple1) -> rule2))]
("squirrel" "chases" "bear" "+")
((triple1) -> (rule2 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel does not chase the bear.
False
2
inv-proof
[(((triple1) -> rule2))]
("squirrel" "chases" "bear" "-")
((triple1) -> (rule2 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear chases the squirrel.[(triple1)] The bear does not visit the squirrel.[(triple6)] The bear is green.[(triple3)] The bear is not big.[(triple2)] The bear is not rough.[(triple4)] The bear needs the squirrel.[(triple5)] The squirrel does not need the bear.[(triple9)] The squirrel is big.[(triple7)] The squirrel is round.[(triple8)] The squirrel visits the bear.[(triple10)] @1: The squirrel chases the bear.[(((triple1) -> rule2))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
triple6
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is not big.
("bear" "is" "big" "-")
triple2
The bear is not rough.
("bear" "is" "rough" "-")
triple4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple5
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple7
The squirrel is round.
("squirrel" "is" "round" "+")
triple8
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple10
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
((triple1) -> (rule2 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1