The bald eagle eats the rabbit. The rabbit is red. If something eats the rabbit and it eats the bald eagle then it is nice. If the bald eagle eats the rabbit then the bald eagle sees the rabbit. If something sees the rabbit then it eats the bald eagle. If the bald eagle visits the rabbit then the rabbit eats the bald eagle. If the rabbit eats the bald eagle then the rabbit sees the bald eagle. If something eats the rabbit then the rabbit sees the bald eagle.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
If something eats the rabbit and it eats the bald eagle then it is nice.
((("something" "eats" "rabbit" "+") ("something" "eats" "bald eagle" "+")) -> ("something" "is" "nice" "+"))
If the bald eagle eats the rabbit then the bald eagle sees the rabbit.
((("bald eagle" "eats" "rabbit" "+")) -> ("bald eagle" "sees" "rabbit" "+"))
If something sees the rabbit then it eats the bald eagle.
((("something" "sees" "rabbit" "+")) -> ("something" "eats" "bald eagle" "+"))
If the bald eagle visits the rabbit then the rabbit eats the bald eagle.
((("bald eagle" "visits" "rabbit" "+")) -> ("rabbit" "eats" "bald eagle" "+"))
If the rabbit eats the bald eagle then the rabbit sees the bald eagle.
((("rabbit" "eats" "bald eagle" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
If something eats the rabbit then the rabbit sees the bald eagle.
((("something" "eats" "rabbit" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
The rabbit is red.
True
1
proof
[(triple2)]
("rabbit" "is" "red" "+")
triple2
The bald eagle does not eat the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "rabbit" "-")
triple1
The rabbit sees the bald eagle.
True
2
proof
[(((triple1) -> rule6))]
("rabbit" "sees" "bald eagle" "+")
((triple1) -> (rule6 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit does not see the bald eagle.
False
2
inv-proof
[(((triple1) -> rule6))]
("rabbit" "sees" "bald eagle" "-")
((triple1) -> (rule6 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
True
3
proof
[(((((triple1) -> rule2)) -> rule3))]
("bald eagle" "eats" "bald eagle" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The bald eagle does not eat the bald eagle.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule3))]
("bald eagle" "eats" "bald eagle" "-")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The bald eagle is nice.
True
5
proof
[(((triple1 ((((triple1) -> rule2)) -> rule3)) -> rule1))]
("bald eagle" "is" "nice" "+")
((triple1 ((((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bald eagle is not nice.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule2)) -> rule3)) -> rule1))]
("bald eagle" "is" "nice" "-")
((triple1 ((((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The rabbit is not nice.
Unknown
inv-rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "nice" "-")
The rabbit eats the bald eagle.
Unknown
rconc
[@1: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "eats" "bald eagle" "+")
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "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 rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The rabbit is red.[(triple2)] @1: The bald eagle sees the rabbit.[(((triple1) -> rule2))] The rabbit sees the bald eagle.[(((triple1) -> rule6))] @2: The bald eagle eats the bald eagle.[(((((triple1) -> rule2)) -> rule3))] @3: The bald eagle is nice.[(((triple1 ((((triple1) -> rule2)) -> rule3)) -> rule1))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The rabbit is red.
("rabbit" "is" "red" "+")
triple2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
((triple1) -> (rule2 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((triple1) -> (rule6 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple1 ((((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3