The bald eagle eats the dog. The dog needs the bald eagle. If someone likes the dog then the dog is cold. If someone needs the bald eagle then they are red. If someone needs the dog then the dog likes the bald eagle. If the dog eats the bald eagle then the bald eagle needs the dog. If someone needs the bald eagle and they are red then the bald eagle likes the dog. If someone needs the bald eagle and the bald eagle likes the dog then the dog eats the bald eagle.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
If someone likes the dog then the dog is cold.
((("someone" "likes" "dog" "+")) -> ("dog" "is" "cold" "+"))
If someone needs the bald eagle then they are red.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "is" "red" "+"))
If someone needs the dog then the dog likes the bald eagle.
((("someone" "needs" "dog" "+")) -> ("dog" "likes" "bald eagle" "+"))
If the dog eats the bald eagle then the bald eagle needs the dog.
((("dog" "eats" "bald eagle" "+")) -> ("bald eagle" "needs" "dog" "+"))
If someone needs the bald eagle and they are red then the bald eagle likes the dog.
((("someone" "needs" "bald eagle" "+") ("someone" "is" "red" "+")) -> ("bald eagle" "likes" "dog" "+"))
If someone needs the bald eagle and the bald eagle likes the dog then the dog eats the bald eagle.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "likes" "dog" "+")) -> ("dog" "eats" "bald eagle" "+"))
The bald eagle eats the dog.
True
1
proof
[(triple1)]
("bald eagle" "eats" "dog" "+")
triple1
The dog does not need the bald eagle.
False
1
inv-proof
[(triple2)]
("dog" "needs" "bald eagle" "-")
triple2
The dog is red.
True
2
proof
[(((triple2) -> rule2))]
("dog" "is" "red" "+")
((triple2) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is not red.
False
2
inv-proof
[(((triple2) -> rule2))]
("dog" "is" "red" "-")
((triple2) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The bald eagle likes the dog.
True
4
proof
[(((triple2 ((triple2) -> rule2)) -> rule5))]
("bald eagle" "likes" "dog" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The bald eagle does not like the dog.
False
4
inv-proof
[(((triple2 ((triple2) -> rule2)) -> rule5))]
("bald eagle" "likes" "dog" "-")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog eats the bald eagle.
True
6
proof
[(((triple2 ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule6))]
("dog" "eats" "bald eagle" "+")
((triple2 ((triple2 ((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The dog does not eat the bald eagle.
False
6
inv-proof
[(((triple2 ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule6))]
("dog" "eats" "bald eagle" "-")
((triple2 ((triple2 ((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "red" "-")
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" "+")
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 is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The dog is not nice.
Unknown
inv-random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The bald eagle eats the dog.[(triple1)] The dog needs the bald eagle.[(triple2)] @1: The dog is red.[(((triple2) -> rule2))] @2: The bald eagle likes the dog.[(((triple2 ((triple2) -> rule2)) -> rule5))] @3: The dog eats the bald eagle.[(((triple2 ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule6))] The dog is cold.[(((((triple2 ((triple2) -> rule2)) -> rule5)) -> rule1))] @4: The bald eagle needs the dog.[(((((triple2 ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule6)) -> rule4))] @5: The dog likes the bald eagle.[(((((((triple2 ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule6)) -> rule4)) -> rule3))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple2
The dog is red.
("dog" "is" "red" "+")
((triple2) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((triple2 ((triple2 ((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
((((triple2 ((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
((((triple2 ((triple2 ((triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int3
The dog is red.
("dog" "is" "red" "+")
int4
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
((((((triple2 ((triple2 ((triple2) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int3
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int4
The dog is red.
("dog" "is" "red" "+")
int5