The bald eagle eats the cow. The bald eagle eats the dog. The bald eagle is big. The bald eagle is kind. The bald eagle visits the cow. The cow chases the bald eagle. The cow eats the bald eagle. The cow eats the dog. The cow is round. The cow is young. The dog chases the bald eagle. The dog chases the cow. The dog eats the bald eagle. The dog eats the cow. The dog visits the bald eagle. The dog visits the cow. If something is kind then it chases the bald eagle. If something is kind and it chases the bald eagle then it eats the bald eagle. If the cow visits the dog then the cow eats the bald eagle.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
If something is kind then it chases the bald eagle.
((("something" "is" "kind" "+")) -> ("something" "chases" "bald eagle" "+"))
If something is kind and it chases the bald eagle then it eats the bald eagle.
((("something" "is" "kind" "+") ("something" "chases" "bald eagle" "+")) -> ("something" "eats" "bald eagle" "+"))
If the cow visits the dog then the cow eats the bald eagle.
((("cow" "visits" "dog" "+")) -> ("cow" "eats" "bald eagle" "+"))
The bald eagle eats the dog.
True
1
proof
[(triple2)]
("bald eagle" "eats" "dog" "+")
triple2
The cow does not eat the dog.
False
1
inv-proof
[(triple8)]
("cow" "eats" "dog" "-")
triple8
The bald eagle chases the bald eagle.
True
2
proof
[(((triple4) -> rule1))]
("bald eagle" "chases" "bald eagle" "+")
((triple4) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle does not chase the bald eagle.
False
2
inv-proof
[(((triple4) -> rule1))]
("bald eagle" "chases" "bald eagle" "-")
((triple4) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
True
4
proof
[(((triple4 ((triple4) -> rule1)) -> rule2))]
("bald eagle" "eats" "bald eagle" "+")
((triple4 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle does not eat the bald eagle.
False
4
inv-proof
[(((triple4 ((triple4) -> rule1)) -> rule2))]
("bald eagle" "eats" "bald eagle" "-")
((triple4 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The dog is not kind.
Unknown
inv-random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The cow visits the bald eagle.
Unknown
random
[@0: The cow visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "bald eagle" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle visits the cow.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow eats the bald eagle.[(triple7)] The cow eats the dog.[(triple8)] The cow is round.[(triple9)] The cow is young.[(triple10)] The dog chases the bald eagle.[(triple11)] The dog chases the cow.[(triple12)] The dog eats the bald eagle.[(triple13)] The dog eats the cow.[(triple14)] The dog visits the bald eagle.[(triple15)] The dog visits the cow.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple4) -> rule1))] @2: The bald eagle eats the bald eagle.[(((triple4 ((triple4) -> rule1)) -> rule2))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple4
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple5
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple6
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple7
The cow eats the dog.
("cow" "eats" "dog" "+")
triple8
The cow is round.
("cow" "is" "round" "+")
triple9
The cow is young.
("cow" "is" "young" "+")
triple10
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple11
The dog chases the cow.
("dog" "chases" "cow" "+")
triple12
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple13
The dog eats the cow.
("dog" "eats" "cow" "+")
triple14
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple15
The dog visits the cow.
("dog" "visits" "cow" "+")
triple16
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple4) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple4 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2