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