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