The bald eagle is young. The cat is red. The dog chases the bald eagle. The squirrel eats the bald eagle. If someone is rough then they eat the dog. Red people are rough. If the cat chases the squirrel then the squirrel chases the dog. If the bald eagle eats the squirrel and the bald eagle eats the dog then the dog is rough. If someone likes the bald eagle and the bald eagle is rough then the bald eagle is red. If someone eats the dog then they like the bald eagle.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cat is red.
("cat" "is" "red" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
If someone is rough then they eat the dog.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "dog" "+"))
Red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If the cat chases the squirrel then the squirrel chases the dog.
((("cat" "chases" "squirrel" "+")) -> ("squirrel" "chases" "dog" "+"))
If the bald eagle eats the squirrel and the bald eagle eats the dog then the dog is rough.
((("bald eagle" "eats" "squirrel" "+") ("bald eagle" "eats" "dog" "+")) -> ("dog" "is" "rough" "+"))
If someone likes the bald eagle and the bald eagle is rough then the bald eagle is red.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "is" "rough" "+")) -> ("bald eagle" "is" "red" "+"))
If someone eats the dog then they like the bald eagle.
((("someone" "eats" "dog" "+")) -> ("someone" "likes" "bald eagle" "+"))
The bald eagle is young.
True
1
proof
[(triple1)]
("bald eagle" "is" "young" "+")
triple1
The cat is not red.
False
1
inv-proof
[(triple2)]
("cat" "is" "red" "-")
triple2
The cat is rough.
True
2
proof
[(((triple2) -> rule2))]
("cat" "is" "rough" "+")
((triple2) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is not rough.
False
2
inv-proof
[(((triple2) -> rule2))]
("cat" "is" "rough" "-")
((triple2) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat eats the dog.
True
3
proof
[(((((triple2) -> rule2)) -> rule1))]
("cat" "eats" "dog" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat does not eat the dog.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("cat" "eats" "dog" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat likes the bald eagle.
True
4
proof
[(((((((triple2) -> rule2)) -> rule1)) -> rule6))]
("cat" "likes" "bald eagle" "+")
((((((triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat eats the dog.
("cat" "eats" "dog" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat does not like the bald eagle.
False
4
inv-proof
[(((((((triple2) -> rule2)) -> rule1)) -> rule6))]
("cat" "likes" "bald eagle" "-")
((((((triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat eats the dog.
("cat" "eats" "dog" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The dog is not rough.
Unknown
inv-rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "rough" "-")
The bald eagle is rough.
Unknown
rconc
[@2: The bald eagle is rough.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("bald eagle" "is" "rough" "+")
The squirrel does not chase the dog.
Unknown
inv-rconc
[@1: The squirrel chases the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "chases" "dog" "-")
The dog eats the dog.
Unknown
rconc
[@2: The dog eats the dog.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("dog" "eats" "dog" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The cat chases the bald eagle.
Unknown
random
[@0: The cat chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bald eagle" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle is young.[(triple1)] The cat is red.[(triple2)] The dog chases the bald eagle.[(triple3)] The squirrel eats the bald eagle.[(triple4)] @1: The cat is rough.[(((triple2) -> rule2))] @2: The cat eats the dog.[(((((triple2) -> rule2)) -> rule1))] @3: The cat likes the bald eagle.[(((((((triple2) -> rule2)) -> rule1)) -> rule6))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple3
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple4
The cat is rough.
("cat" "is" "rough" "+")
((triple2) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat eats the dog.
("cat" "eats" "dog" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
((((((triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat eats the dog.
("cat" "eats" "dog" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3