The bear chases the squirrel. The bear needs the dog. The cow needs the squirrel. The dog chases the cow. The dog chases the squirrel. The dog sees the cow. The squirrel needs the bear. If something chases the cow then it sees the squirrel. If the bear chases the squirrel and the squirrel sees the bear then the squirrel is cold.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If something chases the cow then it sees the squirrel.
((("something" "chases" "cow" "+")) -> ("something" "sees" "squirrel" "+"))
If the bear chases the squirrel and the squirrel sees the bear then the squirrel is cold.
((("bear" "chases" "squirrel" "+") ("squirrel" "sees" "bear" "+")) -> ("squirrel" "is" "cold" "+"))
The dog chases the cow.
True
1
proof
[(triple4)]
("dog" "chases" "cow" "+")
triple4
The cow does not need the squirrel.
False
1
inv-proof
[(triple3)]
("cow" "needs" "squirrel" "-")
triple3
The dog sees the squirrel.
True
2
proof
[(((triple4) -> rule1))]
("dog" "sees" "squirrel" "+")
((triple4) -> (rule1 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The dog does not see the squirrel.
False
2
inv-proof
[(((triple4) -> rule1))]
("dog" "sees" "squirrel" "-")
((triple4) -> (rule1 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The cow does not see the squirrel.
Unknown
inv-rconc
[@1: The cow sees the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "squirrel" "-")
The squirrel sees the squirrel.
Unknown
rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "sees" "squirrel" "+")
The squirrel is not rough.
Unknown
inv-random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bear chases the squirrel.[(triple1)] The bear needs the dog.[(triple2)] The cow needs the squirrel.[(triple3)] The dog chases the cow.[(triple4)] The dog chases the squirrel.[(triple5)] The dog sees the cow.[(triple6)] The squirrel needs the bear.[(triple7)] @1: The dog sees the squirrel.[(((triple4) -> rule1))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear needs the dog.
("bear" "needs" "dog" "+")
triple2
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple3
The dog chases the cow.
("dog" "chases" "cow" "+")
triple4
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple5
The dog sees the cow.
("dog" "sees" "cow" "+")
triple6
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple7
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
((triple4) -> (rule1 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1