The cow chases the dog. The dog eats the squirrel. The squirrel chases the cow. The tiger is cold. If something eats the cow then the cow is cold. If something is cold then it eats the dog.
The cow chases the dog.
("cow" "chases" "dog" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
If something eats the cow then the cow is cold.
((("something" "eats" "cow" "+")) -> ("cow" "is" "cold" "+"))
If something is cold then it eats the dog.
((("something" "is" "cold" "+")) -> ("something" "eats" "dog" "+"))
The tiger is cold.
True
1
proof
[(triple4)]
("tiger" "is" "cold" "+")
triple4
The dog does not eat the squirrel.
False
1
inv-proof
[(triple2)]
("dog" "eats" "squirrel" "-")
triple2
The tiger eats the dog.
True
2
proof
[(((triple4) -> rule2))]
("tiger" "eats" "dog" "+")
((triple4) -> (rule2 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The tiger does not eat the dog.
False
2
inv-proof
[(((triple4) -> rule2))]
("tiger" "eats" "dog" "-")
((triple4) -> (rule2 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The cow does not eat the dog.
Unknown
inv-rconc
[@2: The cow eats the dog.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("cow" "eats" "dog" "-")
The dog eats the dog.
Unknown
rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "eats" "dog" "+")
The dog does not chase the cow.
Unknown
inv-random
[@0: The dog chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "cow" "-")
The squirrel chases the dog.
Unknown
random
[@0: The squirrel chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "dog" "+")
@0: The cow chases the dog.[(triple1)] The dog eats the squirrel.[(triple2)] The squirrel chases the cow.[(triple3)] The tiger is cold.[(triple4)] @1: The tiger eats the dog.[(((triple4) -> rule2))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple3
The tiger is cold.
("tiger" "is" "cold" "+")
triple4
The tiger eats the dog.
("tiger" "eats" "dog" "+")
((triple4) -> (rule2 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1