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