The bald eagle chases the cow. The bald eagle is red. The bald eagle is rough. The bald eagle is round. The bald eagle sees the cow. The bald eagle sees the dog. The cow chases the bald eagle. The cow is rough. The cow is round. The dog chases the bald eagle. The dog likes the bald eagle. The dog sees the cow. If something chases the bald eagle then the bald eagle does not like the dog. If something sees the bald eagle and it sees the dog then the dog does not chase the cow. If something sees the dog and it chases the bald eagle then the bald eagle chases the cow.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
If something chases the bald eagle then the bald eagle does not like the dog.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "likes" "dog" "-"))
If something sees the bald eagle and it sees the dog then the dog does not chase the cow.
((("something" "sees" "bald eagle" "+") ("something" "sees" "dog" "+")) -> ("dog" "chases" "cow" "-"))
If something sees the dog and it chases the bald eagle then the bald eagle chases the cow.
((("something" "sees" "dog" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "cow" "+"))
The bald eagle is round.
True
1
proof
[(triple4)]
("bald eagle" "is" "round" "+")
triple4
The cow is not rough.
False
1
inv-proof
[(triple8)]
("cow" "is" "rough" "-")
triple8
The bald eagle does not like the dog.
True
2
proof
[(((triple10) -> rule1) OR ((triple7) -> rule1))]
("bald eagle" "likes" "dog" "-")
((triple10) -> (rule1 % int1))
The bald eagle does not like the dog.
("bald eagle" "likes" "dog" "-")
int1
((triple7) -> (rule1 % int1))
The bald eagle does not like the dog.
("bald eagle" "likes" "dog" "-")
int1
The bald eagle likes the dog.
False
2
inv-proof
[(((triple10) -> rule1) OR ((triple7) -> rule1))]
("bald eagle" "likes" "dog" "+")
((triple10) -> (rule1 % int1))
The bald eagle does not like the dog.
("bald eagle" "likes" "dog" "-")
int1
((triple7) -> (rule1 % int1))
The bald eagle does not like the dog.
("bald eagle" "likes" "dog" "-")
int1
The cow does not chase the dog.
Unknown
inv-random
[@0: The cow chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "dog" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
The cow does not like the dog.
Unknown
inv-random
[@0: The cow likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "dog" "-")
The dog sees the bald eagle.
Unknown
random
[@0: The dog sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bald eagle" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle sees the cow.[(triple5)] The bald eagle sees the dog.[(triple6)] The cow chases the bald eagle.[(triple7)] The cow is rough.[(triple8)] The cow is round.[(triple9)] The dog chases the bald eagle.[(triple10)] The dog likes the bald eagle.[(triple11)] The dog sees the cow.[(triple12)] @1: The bald eagle does not like the dog.[(((triple10) -> rule1) OR ((triple7) -> rule1))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple5
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple6
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple7
The cow is rough.
("cow" "is" "rough" "+")
triple8
The cow is round.
("cow" "is" "round" "+")
triple9
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple10
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple11
The dog sees the cow.
("dog" "sees" "cow" "+")
triple12
The bald eagle does not like the dog.
("bald eagle" "likes" "dog" "-")
((triple10) -> (rule1 % int1))
The bald eagle does not like the dog.
("bald eagle" "likes" "dog" "-")
int1
((triple7) -> (rule1 % int1))
The bald eagle does not like the dog.
("bald eagle" "likes" "dog" "-")
int1