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