The bald eagle eats the cat. The bald eagle eats the tiger. The bald eagle is big. The bald eagle sees the cow. The cat is not big. The cat is not blue. The cat likes the bald eagle. The cat sees the cow. The cat sees the tiger. The cow sees the bald eagle. The cow sees the tiger. The tiger eats the bald eagle. The tiger is not big. The tiger is rough. The tiger is young. The tiger sees the cat. If something sees the bald eagle then it eats the cow. If something eats the bald eagle and the bald eagle sees the cat then the cat does not like the bald eagle. If the cat is round then the cat likes the bald eagle. If the tiger is not rough then the tiger is young. If the bald eagle is not big then the bald eagle is not round. If something sees the tiger then the tiger likes the cow. If the bald eagle does not eat the cow then the bald eagle does not see the tiger. If something likes the cow and it does not see the tiger then the cow likes the cat.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cat is not big.
("cat" "is" "big" "-")
The cat is not blue.
("cat" "is" "blue" "-")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is not big.
("tiger" "is" "big" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
If something sees the bald eagle then it eats the cow.
((("something" "sees" "bald eagle" "+")) -> ("something" "eats" "cow" "+"))
If something eats the bald eagle and the bald eagle sees the cat then the cat does not like the bald eagle.
((("something" "eats" "bald eagle" "+") ("bald eagle" "sees" "cat" "+")) -> ("cat" "likes" "bald eagle" "-"))
If the cat is round then the cat likes the bald eagle.
((("cat" "is" "round" "+")) -> ("cat" "likes" "bald eagle" "+"))
If the tiger is not rough then the tiger is young.
((("tiger" "is" "rough" "~")) -> ("tiger" "is" "young" "+"))
If the bald eagle is not big then the bald eagle is not round.
((("bald eagle" "is" "big" "~")) -> ("bald eagle" "is" "round" "-"))
If something sees the tiger then the tiger likes the cow.
((("something" "sees" "tiger" "+")) -> ("tiger" "likes" "cow" "+"))
If the bald eagle does not eat the cow then the bald eagle does not see the tiger.
((("bald eagle" "eats" "cow" "~")) -> ("bald eagle" "sees" "tiger" "-"))
If something likes the cow and it does not see the tiger then the cow likes the cat.
((("something" "likes" "cow" "+") ("something" "sees" "tiger" "~")) -> ("cow" "likes" "cat" "+"))
The tiger is rough.
True
1
proof
[(triple14)]
("tiger" "is" "rough" "+")
triple14
The cow does not see the bald eagle.
False
1
inv-proof
[(triple10)]
("cow" "sees" "bald eagle" "-")
triple10
The bald eagle does not eat the cow.
Unknown
inv-rconc
[@1: The bald eagle eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "cow" "-")
The cow eats the bald eagle.
Unknown
random
[@0: The cow eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bald eagle" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle sees the cow.[(triple4)] The cat is not big.[(triple5)] The cat is not blue.[(triple6)] The cat likes the bald eagle.[(triple7)] The cat sees the cow.[(triple8)] The cat sees the tiger.[(triple9)] The cow sees the bald eagle.[(triple10)] The cow sees the tiger.[(triple11)] The tiger eats the bald eagle.[(triple12)] The tiger is not big.[(triple13)] The tiger is rough.[(triple14)] The tiger is young.[(triple15)] The tiger sees the cat.[(triple16)] @1: The cow eats the cow.[(((triple10) -> rule1))] The tiger likes the cow.[(((triple11) -> rule6) OR ((triple9) -> rule6))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple4
The cat is not big.
("cat" "is" "big" "-")
triple5
The cat is not blue.
("cat" "is" "blue" "-")
triple6
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple7
The cat sees the cow.
("cat" "sees" "cow" "+")
triple8
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple9
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple10
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple11
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple12
The tiger is not big.
("tiger" "is" "big" "-")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger is young.
("tiger" "is" "young" "+")
triple15
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple16
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple10) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The tiger likes the cow.
("tiger" "likes" "cow" "+")
((triple11) -> (rule6 % int1))
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int1
((triple9) -> (rule6 % int1))
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int1