The bald eagle chases the cat. The bald eagle chases the dog. The bald eagle eats the cat. The bald eagle eats the cow. The bald eagle does not like the dog. The cat chases the cow. The cat is blue. The cow does not chase the dog. The cow eats the bald eagle. The cow likes the bald eagle. The cow likes the cat. The dog eats the cow. The dog is big. The dog is blue. The dog likes the bald eagle. The dog likes the cat. If something chases the cow then it is nice. All nice things are not green.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle does not like the dog.
("bald eagle" "likes" "dog" "-")
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cow does not chase the dog.
("cow" "chases" "dog" "-")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
If something chases the cow then it is nice.
((("something" "chases" "cow" "+")) -> ("something" "is" "nice" "+"))
All nice things are not green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "-"))
The bald eagle eats the cow.
True
1
proof
[(triple4)]
("bald eagle" "eats" "cow" "+")
triple4
The dog does not eat the cow.
False
1
inv-proof
[(triple12)]
("dog" "eats" "cow" "-")
triple12
The cat is nice.
True
2
proof
[(((triple6) -> rule1))]
("cat" "is" "nice" "+")
((triple6) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is not nice.
False
2
inv-proof
[(((triple6) -> rule1))]
("cat" "is" "nice" "-")
((triple6) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cow is not nice.
Unknown
inv-rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "nice" "-")
The dog is nice.
Unknown
rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "nice" "+")
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 dog chases the cow.
Unknown
random
[@0: The dog chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "cow" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the dog.[(triple2)] The bald eagle does not like the dog.[(triple5)] The bald eagle eats the cat.[(triple3)] The bald eagle eats the cow.[(triple4)] The cat chases the cow.[(triple6)] The cat is blue.[(triple7)] The cow does not chase the dog.[(triple8)] The cow eats the bald eagle.[(triple9)] The cow likes the bald eagle.[(triple10)] The cow likes the cat.[(triple11)] The dog eats the cow.[(triple12)] The dog is big.[(triple13)] The dog is blue.[(triple14)] The dog likes the bald eagle.[(triple15)] The dog likes the cat.[(triple16)] @1: The cat is nice.[(((triple6) -> rule1))] @2: The cat is not green.[(((((triple6) -> rule1)) -> rule2))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple2
The bald eagle does not like the dog.
("bald eagle" "likes" "dog" "-")
triple5
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple3
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple4
The cat chases the cow.
("cat" "chases" "cow" "+")
triple6
The cat is blue.
("cat" "is" "blue" "+")
triple7
The cow does not chase the dog.
("cow" "chases" "dog" "-")
triple8
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple9
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple10
The cow likes the cat.
("cow" "likes" "cat" "+")
triple11
The dog eats the cow.
("dog" "eats" "cow" "+")
triple12
The dog is big.
("dog" "is" "big" "+")
triple13
The dog is blue.
("dog" "is" "blue" "+")
triple14
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple15
The dog likes the cat.
("dog" "likes" "cat" "+")
triple16
The cat is nice.
("cat" "is" "nice" "+")
((triple6) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is not green.
("cat" "is" "green" "-")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2