The bald eagle is kind. The bald eagle is nice. The bald eagle visits the dog. The cow eats the dog. The cow is blue. The cow visits the dog. The dog eats the cow. The dog is blue. The dog is kind. The dog is nice. The dog is young. The dog likes the cow. If someone visits the cow then the cow visits the bald eagle. If someone eats the bald eagle and the bald eagle is big then the bald eagle likes the dog. If someone is blue and kind then they like the dog. If someone likes the bald eagle then the bald eagle visits the cow. If someone likes the cow and the cow visits the bald eagle then they visit the dog. If someone likes the cow then the cow likes the bald eagle. If the dog visits the cow and the cow visits the dog then the cow likes the dog. If someone eats the bald eagle then they like the bald eagle.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
If someone visits the cow then the cow visits the bald eagle.
((("someone" "visits" "cow" "+")) -> ("cow" "visits" "bald eagle" "+"))
If someone eats the bald eagle and the bald eagle is big then the bald eagle likes the dog.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "is" "big" "+")) -> ("bald eagle" "likes" "dog" "+"))
If someone is blue and kind then they like the dog.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "likes" "dog" "+"))
If someone likes the bald eagle then the bald eagle visits the cow.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "visits" "cow" "+"))
If someone likes the cow and the cow visits the bald eagle then they visit the dog.
((("someone" "likes" "cow" "+") ("cow" "visits" "bald eagle" "+")) -> ("someone" "visits" "dog" "+"))
If someone likes the cow then the cow likes the bald eagle.
((("someone" "likes" "cow" "+")) -> ("cow" "likes" "bald eagle" "+"))
If the dog visits the cow and the cow visits the dog then the cow likes the dog.
((("dog" "visits" "cow" "+") ("cow" "visits" "dog" "+")) -> ("cow" "likes" "dog" "+"))
If someone eats the bald eagle then they like the bald eagle.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "likes" "bald eagle" "+"))
The cow eats the dog.
True
1
proof
[(triple4)]
("cow" "eats" "dog" "+")
triple4
The dog is not kind.
False
1
inv-proof
[(triple9)]
("dog" "is" "kind" "-")
triple9
The cow likes the bald eagle.
True
2
proof
[(((triple12) -> rule6))]
("cow" "likes" "bald eagle" "+")
((triple12) -> (rule6 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The dog does not like the dog.
False
3
inv-proof
[(((triple8 triple9) -> rule3))]
("dog" "likes" "dog" "-")
((triple8 triple9) -> (rule3 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The bald eagle visits the cow.
True
3
proof
[(((((triple12) -> rule6)) -> rule4))]
("bald eagle" "visits" "cow" "+")
((((triple12) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The bald eagle does not visit the cow.
False
3
inv-proof
[(((((triple12) -> rule6)) -> rule4))]
("bald eagle" "visits" "cow" "-")
((((triple12) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The cow visits the bald eagle.
True
4
proof
[(((((((triple12) -> rule6)) -> rule4)) -> rule1))]
("cow" "visits" "bald eagle" "+")
((((((triple12) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int3
The cow does not visit the bald eagle.
False
4
inv-proof
[(((((((triple12) -> rule6)) -> rule4)) -> rule1))]
("cow" "visits" "bald eagle" "-")
((((((triple12) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int3
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The cow likes the dog.
Unknown
rconc
[@1: The cow likes the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "likes" "dog" "+")
The bald eagle does not like the dog.
Unknown
inv-rconc
[@1: The bald eagle likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "dog" "-")
The dog likes the bald eagle.
Unknown
rconc
[@1: The dog likes the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "likes" "bald eagle" "+")
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The dog eats the bald eagle.
Unknown
random
[@0: The dog eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bald eagle" "+")
The bald eagle does not eat the dog.
Unknown
inv-random
[@0: The bald eagle eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "dog" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle visits the dog.[(triple3)] The cow eats the dog.[(triple4)] The cow is blue.[(triple5)] The cow visits the dog.[(triple6)] The dog eats the cow.[(triple7)] The dog is blue.[(triple8)] The dog is kind.[(triple9)] The dog is nice.[(triple10)] The dog is young.[(triple11)] The dog likes the cow.[(triple12)] @1: The cow likes the bald eagle.[(((triple12) -> rule6))] The dog likes the dog.[(((triple8 triple9) -> rule3))] @2: The bald eagle visits the cow.[(((((triple12) -> rule6)) -> rule4))] @3: The cow visits the bald eagle.[(((((((triple12) -> rule6)) -> rule4)) -> rule1))] @4: The dog visits the dog.[(((triple12 ((((((triple12) -> rule6)) -> rule4)) -> rule1)) -> rule5))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple3
The cow eats the dog.
("cow" "eats" "dog" "+")
triple4
The cow is blue.
("cow" "is" "blue" "+")
triple5
The cow visits the dog.
("cow" "visits" "dog" "+")
triple6
The dog eats the cow.
("dog" "eats" "cow" "+")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple8
The dog is kind.
("dog" "is" "kind" "+")
triple9
The dog is nice.
("dog" "is" "nice" "+")
triple10
The dog is young.
("dog" "is" "young" "+")
triple11
The dog likes the cow.
("dog" "likes" "cow" "+")
triple12
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
((triple12) -> (rule6 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple8 triple9) -> (rule3 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
((((triple12) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
((((((triple12) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int3
The dog visits the dog.
("dog" "visits" "dog" "+")
((triple12 ((((((triple12) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int3
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int4