The bald eagle chases the squirrel. The rabbit likes the squirrel. The squirrel chases the rabbit. If something chases the squirrel and the squirrel eats the rabbit then the rabbit eats the squirrel. If something chases the squirrel then it likes the bald eagle. If the squirrel eats the rabbit then the squirrel eats the bald eagle. If something eats the bald eagle then it is big. If something likes the bald eagle and the bald eagle chases the squirrel then the bald eagle is kind. If something is kind and it chases the bald eagle then it likes the bald eagle. If something eats the rabbit and the rabbit chases the bald eagle then it chases the squirrel. If something likes the bald eagle and it is kind then it likes the squirrel.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
If something chases the squirrel and the squirrel eats the rabbit then the rabbit eats the squirrel.
((("something" "chases" "squirrel" "+") ("squirrel" "eats" "rabbit" "+")) -> ("rabbit" "eats" "squirrel" "+"))
If something chases the squirrel then it likes the bald eagle.
((("something" "chases" "squirrel" "+")) -> ("something" "likes" "bald eagle" "+"))
If the squirrel eats the rabbit then the squirrel eats the bald eagle.
((("squirrel" "eats" "rabbit" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
If something eats the bald eagle then it is big.
((("something" "eats" "bald eagle" "+")) -> ("something" "is" "big" "+"))
If something likes the bald eagle and the bald eagle chases the squirrel then the bald eagle is kind.
((("something" "likes" "bald eagle" "+") ("bald eagle" "chases" "squirrel" "+")) -> ("bald eagle" "is" "kind" "+"))
If something is kind and it chases the bald eagle then it likes the bald eagle.
((("something" "is" "kind" "+") ("something" "chases" "bald eagle" "+")) -> ("something" "likes" "bald eagle" "+"))
If something eats the rabbit and the rabbit chases the bald eagle then it chases the squirrel.
((("something" "eats" "rabbit" "+") ("rabbit" "chases" "bald eagle" "+")) -> ("something" "chases" "squirrel" "+"))
If something likes the bald eagle and it is kind then it likes the squirrel.
((("something" "likes" "bald eagle" "+") ("something" "is" "kind" "+")) -> ("something" "likes" "squirrel" "+"))
The rabbit likes the squirrel.
True
1
proof
[(triple2)]
("rabbit" "likes" "squirrel" "+")
triple2
The squirrel does not chase the rabbit.
False
1
inv-proof
[(triple3)]
("squirrel" "chases" "rabbit" "-")
triple3
The bald eagle likes the bald eagle.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "likes" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle does not like the bald eagle.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "likes" "bald eagle" "-")
((triple1) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is kind.
True
4
proof
[(((((triple1) -> rule2) triple1) -> rule5))]
("bald eagle" "is" "kind" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule5 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is not kind.
False
4
inv-proof
[(((((triple1) -> rule2) triple1) -> rule5))]
("bald eagle" "is" "kind" "-")
((((triple1) -> (rule2 % int2)) triple1) -> (rule5 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle likes the squirrel.
True
7
proof
[(((((triple1) -> rule2) ((((triple1) -> rule2) triple1) -> rule5)) -> rule8))]
("bald eagle" "likes" "squirrel" "+")
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3)) triple1) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle does not like the squirrel.
False
7
inv-proof
[(((((triple1) -> rule2) ((((triple1) -> rule2) triple1) -> rule5)) -> rule8))]
("bald eagle" "likes" "squirrel" "-")
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3)) triple1) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The squirrel is not big.
Unknown
inv-rconc
[@2: The squirrel is big.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("squirrel" "is" "big" "-")
The rabbit eats the squirrel.
Unknown
rconc
[@1: The rabbit eats the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "squirrel" "+")
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The rabbit likes the bald eagle.
Unknown
rconc
[@2: The rabbit likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("rabbit" "likes" "bald eagle" "+")
The rabbit is not blue.
Unknown
inv-random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The rabbit likes the squirrel.[(triple2)] The squirrel chases the rabbit.[(triple3)] @1: The bald eagle likes the bald eagle.[(((triple1) -> rule2))] @2: The bald eagle is kind.[(((((triple1) -> rule2) triple1) -> rule5))] @3: The bald eagle likes the squirrel.[(((((triple1) -> rule2) ((((triple1) -> rule2) triple1) -> rule5)) -> rule8))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple2
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule5 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3)) triple1) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3