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