The bald eagle likes the dog. The dog eats the bald eagle. The dog likes the bald eagle. If someone likes the bald eagle then the bald eagle eats the dog. If the bald eagle eats the dog then the bald eagle is not green. If someone eats the dog then they like the bald eagle. If someone is nice then they do not visit the dog. If someone likes the bald eagle then they are nice. If someone visits the dog then the dog likes the bald eagle.
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
If someone likes the bald eagle then the bald eagle eats the dog.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "eats" "dog" "+"))
If the bald eagle eats the dog then the bald eagle is not green.
((("bald eagle" "eats" "dog" "+")) -> ("bald eagle" "is" "green" "-"))
If someone eats the dog then they like the bald eagle.
((("someone" "eats" "dog" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone is nice then they do not visit the dog.
((("someone" "is" "nice" "+")) -> ("someone" "visits" "dog" "-"))
If someone likes the bald eagle then they are nice.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "nice" "+"))
If someone visits the dog then the dog likes the bald eagle.
((("someone" "visits" "dog" "+")) -> ("dog" "likes" "bald eagle" "+"))
The dog likes the bald eagle.
True
1
proof
[(triple3)]
("dog" "likes" "bald eagle" "+")
triple3
The bald eagle does not like the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "dog" "-")
triple1
The dog is nice.
True
2
proof
[(((triple3) -> rule5))]
("dog" "is" "nice" "+")
((triple3) -> (rule5 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The bald eagle does not eat the dog.
False
2
inv-proof
[(((triple3) -> rule1))]
("bald eagle" "eats" "dog" "-")
((triple3) -> (rule1 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The bald eagle likes the bald eagle.
True
3
proof
[(((((triple3) -> rule1)) -> rule3))]
("bald eagle" "likes" "bald eagle" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The dog visits the dog.
False
3
inv-proof
[(((((triple3) -> rule5)) -> rule4))]
("dog" "visits" "dog" "+")
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
The dog does not visit the dog.
("dog" "visits" "dog" "-")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The bald eagle is nice.
True
4
proof
[(((((((triple3) -> rule1)) -> rule3)) -> rule5))]
("bald eagle" "is" "nice" "+")
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int3
The bald eagle is not nice.
False
4
inv-proof
[(((((((triple3) -> rule1)) -> rule3)) -> rule5))]
("bald eagle" "is" "nice" "-")
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int3
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
The dog is not young.
Unknown
inv-random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
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 dog visits the bald eagle.
Unknown
random
[@0: The dog visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "bald eagle" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle likes the dog.[(triple1)] The dog eats the bald eagle.[(triple2)] The dog likes the bald eagle.[(triple3)] @1: The bald eagle eats the dog.[(((triple3) -> rule1))] The dog is nice.[(((triple3) -> rule5))] @2: The bald eagle is not green.[(((((triple3) -> rule1)) -> rule2))] The bald eagle likes the bald eagle.[(((((triple3) -> rule1)) -> rule3))] The dog does not visit the dog.[(((((triple3) -> rule5)) -> rule4))] @3: The bald eagle is nice.[(((((((triple3) -> rule1)) -> rule3)) -> rule5))] @4: The bald eagle does not visit the dog.[(((((((((triple3) -> rule1)) -> rule3)) -> rule5)) -> rule4))]
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple3
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
((triple3) -> (rule1 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
((triple3) -> (rule5 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The bald eagle is not green.
("bald eagle" "is" "green" "-")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle is not green.
("bald eagle" "is" "green" "-")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The dog does not visit the dog.
("dog" "visits" "dog" "-")
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
The dog does not visit the dog.
("dog" "visits" "dog" "-")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int3
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
((((((((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int4