The bald eagle eats the cat. The bald eagle eats the cow. The bald eagle likes the lion. The cat likes the cow. The cat likes the lion. The cat sees the bald eagle. The cow eats the lion. The cow is big. The cow is green. The cow likes the cat. The cow likes the lion. The cow sees the cat. The lion eats the cow. The lion is big. The lion sees the cow. If someone eats the cat then they are round. If someone likes the cow then they like the bald eagle. If someone is big and green then they eat the cat. If someone eats the bald eagle then they see the lion. If someone eats the lion then the lion sees the cow. If someone eats the lion and they are round then the lion sees the cat.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is green.
("cow" "is" "green" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is big.
("lion" "is" "big" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
If someone eats the cat then they are round.
((("someone" "eats" "cat" "+")) -> ("someone" "is" "round" "+"))
If someone likes the cow then they like the bald eagle.
((("someone" "likes" "cow" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone is big and green then they eat the cat.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "eats" "cat" "+"))
If someone eats the bald eagle then they see the lion.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "sees" "lion" "+"))
If someone eats the lion then the lion sees the cow.
((("someone" "eats" "lion" "+")) -> ("lion" "sees" "cow" "+"))
If someone eats the lion and they are round then the lion sees the cat.
((("someone" "eats" "lion" "+") ("someone" "is" "round" "+")) -> ("lion" "sees" "cat" "+"))
The cow likes the lion.
True
1
proof
[(triple11)]
("cow" "likes" "lion" "+")
triple11
The cow is not big.
False
1
inv-proof
[(triple8)]
("cow" "is" "big" "-")
triple8
The bald eagle is round.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "is" "round" "+")
((triple1) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cow does not eat the cat.
False
3
inv-proof
[(((triple8 triple9) -> rule3))]
("cow" "eats" "cat" "-")
((triple8 triple9) -> (rule3 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
int1
The cow is round.
True
4
proof
[(((((triple8 triple9) -> rule3)) -> rule1))]
("cow" "is" "round" "+")
((((triple8 triple9) -> (rule3 % int2))) -> (rule1 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow eats the cat.
("cow" "eats" "cat" "+")
int2
The cow is not round.
False
4
inv-proof
[(((((triple8 triple9) -> rule3)) -> rule1))]
("cow" "is" "round" "-")
((((triple8 triple9) -> (rule3 % int2))) -> (rule1 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow eats the cat.
("cow" "eats" "cat" "+")
int2
The lion sees the cat.
True
6
proof
[(((triple7 ((((triple8 triple9) -> rule3)) -> rule1)) -> rule6))]
("lion" "sees" "cat" "+")
((triple7 ((((triple8 triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The lion sees the cat.
("lion" "sees" "cat" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow eats the cat.
("cow" "eats" "cat" "+")
int3
The lion does not see the cat.
False
6
inv-proof
[(((triple7 ((((triple8 triple9) -> rule3)) -> rule1)) -> rule6))]
("lion" "sees" "cat" "-")
((triple7 ((((triple8 triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The lion sees the cat.
("lion" "sees" "cat" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow eats the cat.
("cow" "eats" "cat" "+")
int3
The cat is not round.
Unknown
inv-rconc
[@2: The cat is round.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("cat" "is" "round" "-")
The lion is round.
Unknown
rconc
[@2: The lion is round.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("lion" "is" "round" "+")
The cat does not see the lion.
Unknown
inv-rconc
[@1: The cat sees the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "sees" "lion" "-")
The lion eats the cat.
Unknown
rconc
[@1: The lion eats the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "eats" "cat" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The bald eagle sees the cat.
Unknown
random
[@0: The bald eagle sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "cat" "+")
The cat does not see the cow.
Unknown
inv-random
[@0: The cat sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cow" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the cow.[(triple2)] The bald eagle likes the lion.[(triple3)] The cat likes the cow.[(triple4)] The cat likes the lion.[(triple5)] The cat sees the bald eagle.[(triple6)] The cow eats the lion.[(triple7)] The cow is big.[(triple8)] The cow is green.[(triple9)] The cow likes the cat.[(triple10)] The cow likes the lion.[(triple11)] The cow sees the cat.[(triple12)] The lion eats the cow.[(triple13)] The lion is big.[(triple14)] The lion sees the cow.[(triple15 OR ((triple7) -> rule5))] @1: The bald eagle is round.[(((triple1) -> rule1))] The cat likes the bald eagle.[(((triple4) -> rule2))] The cow eats the cat.[(((triple8 triple9) -> rule3))] @2: The cow is round.[(((((triple8 triple9) -> rule3)) -> rule1))] @3: The lion sees the cat.[(((triple7 ((((triple8 triple9) -> rule3)) -> rule1)) -> rule6))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple3
The cat likes the cow.
("cat" "likes" "cow" "+")
triple4
The cat likes the lion.
("cat" "likes" "lion" "+")
triple5
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple6
The cow eats the lion.
("cow" "eats" "lion" "+")
triple7
The cow is big.
("cow" "is" "big" "+")
triple8
The cow is green.
("cow" "is" "green" "+")
triple9
The cow likes the cat.
("cow" "likes" "cat" "+")
triple10
The cow likes the lion.
("cow" "likes" "lion" "+")
triple11
The cow sees the cat.
("cow" "sees" "cat" "+")
triple12
The lion eats the cow.
("lion" "eats" "cow" "+")
triple13
The lion is big.
("lion" "is" "big" "+")
triple14
The lion sees the cow.
("lion" "sees" "cow" "+")
triple15
((triple7) -> (rule5 % int1))
The lion sees the cow.
("lion" "sees" "cow" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple1) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
((triple4) -> (rule2 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cow eats the cat.
("cow" "eats" "cat" "+")
((triple8 triple9) -> (rule3 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
int1
The cow is round.
("cow" "is" "round" "+")
((((triple8 triple9) -> (rule3 % int2))) -> (rule1 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow eats the cat.
("cow" "eats" "cat" "+")
int2
The lion sees the cat.
("lion" "sees" "cat" "+")
((triple7 ((((triple8 triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The lion sees the cat.
("lion" "sees" "cat" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow eats the cat.
("cow" "eats" "cat" "+")
int3