The bald eagle eats the cow. The bald eagle is not big. The bald eagle is nice. The bald eagle likes the cat. The cat does not eat the bald eagle. The cat eats the tiger. The cat is young. The cat likes the cow. The cow chases the cat. The tiger chases the cow. If someone is young then they chase the tiger. If someone likes the tiger and they do not eat the bald eagle then the bald eagle chases the tiger. If someone chases the tiger then they like the bald eagle. If someone is blue then they eat the cat. If someone is big and they do not eat the tiger then they are young. All young people are blue. If someone chases the bald eagle then they are big. If the cat likes the cow and the cat does not like the bald eagle then the cat is kind.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The cat does not eat the bald eagle.
("cat" "eats" "bald eagle" "-")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
If someone is young then they chase the tiger.
((("someone" "is" "young" "+")) -> ("someone" "chases" "tiger" "+"))
If someone likes the tiger and they do not eat the bald eagle then the bald eagle chases the tiger.
((("someone" "likes" "tiger" "+") ("someone" "eats" "bald eagle" "~")) -> ("bald eagle" "chases" "tiger" "+"))
If someone chases the tiger then they like the bald eagle.
((("someone" "chases" "tiger" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone is blue then they eat the cat.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "cat" "+"))
If someone is big and they do not eat the tiger then they are young.
((("someone" "is" "big" "+") ("someone" "eats" "tiger" "~")) -> ("someone" "is" "young" "+"))
All young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone chases the bald eagle then they are big.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "big" "+"))
If the cat likes the cow and the cat does not like the bald eagle then the cat is kind.
((("cat" "likes" "cow" "+") ("cat" "likes" "bald eagle" "~")) -> ("cat" "is" "kind" "+"))
The bald eagle likes the cat.
True
1
proof
[(triple4)]
("bald eagle" "likes" "cat" "+")
triple4
The bald eagle is big.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "big" "+")
triple2
The cat chases the tiger.
True
2
proof
[(((triple7) -> rule1))]
("cat" "chases" "tiger" "+")
((triple7) -> (rule1 % int1))
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int1
The cat is not blue.
False
2
inv-proof
[(((triple7) -> rule6))]
("cat" "is" "blue" "-")
((triple7) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The tiger is not young.
Unknown
inv-rconc
[@1: The tiger is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "is" "young" "-")
The cow is young.
Unknown
rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "young" "+")
The cow is not kind.
Unknown
inv-random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "-")
The cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is nice.[(triple3)] The bald eagle is not big.[(triple2)] The bald eagle likes the cat.[(triple4)] The cat does not eat the bald eagle.[(triple5)] The cat eats the tiger.[(triple6)] The cat is young.[(triple7)] The cat likes the cow.[(triple8)] The cow chases the cat.[(triple9)] The tiger chases the cow.[(triple10)] @1: The cat chases the tiger.[(((triple7) -> rule1))] The cat is blue.[(((triple7) -> rule6))] @2: The cat eats the cat.[(((((triple7) -> rule6)) -> rule4))] The cat likes the bald eagle.[(((((triple7) -> rule1)) -> rule3))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple4
The cat does not eat the bald eagle.
("cat" "eats" "bald eagle" "-")
triple5
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple6
The cat is young.
("cat" "is" "young" "+")
triple7
The cat likes the cow.
("cat" "likes" "cow" "+")
triple8
The cow chases the cat.
("cow" "chases" "cat" "+")
triple9
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple10
The cat chases the tiger.
("cat" "chases" "tiger" "+")
((triple7) -> (rule1 % int1))
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
((triple7) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int2