The bald eagle eats the cat. The bald eagle eats the cow. The bald eagle eats the lion. The cat eats the bald eagle. The cat is kind. The cow sees the cat. The lion sees the cat. If someone eats the cat then the cat is nice. If someone likes the lion then the lion is green. If the cat is nice then the cat sees the lion.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
If someone eats the cat then the cat is nice.
((("someone" "eats" "cat" "+")) -> ("cat" "is" "nice" "+"))
If someone likes the lion then the lion is green.
((("someone" "likes" "lion" "+")) -> ("lion" "is" "green" "+"))
If the cat is nice then the cat sees the lion.
((("cat" "is" "nice" "+")) -> ("cat" "sees" "lion" "+"))
The bald eagle eats the lion.
True
1
proof
[(triple3)]
("bald eagle" "eats" "lion" "+")
triple3
The cat does not eat the bald eagle.
False
1
inv-proof
[(triple4)]
("cat" "eats" "bald eagle" "-")
triple4
The cat is nice.
True
2
proof
[(((triple1) -> rule1))]
("cat" "is" "nice" "+")
((triple1) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is not nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "is" "nice" "-")
((triple1) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat sees the lion.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("cat" "sees" "lion" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The cat sees the lion.
("cat" "sees" "lion" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The cat does not see the lion.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("cat" "sees" "lion" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The cat sees the lion.
("cat" "sees" "lion" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The lion is not green.
Unknown
inv-rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "green" "-")
The lion sees the cow.
Unknown
random
[@0: The lion sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "cow" "+")
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 cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
The cow does not see the bald eagle.
Unknown
inv-random
[@0: The cow sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bald eagle" "-")
The bald eagle likes the cow.
Unknown
random
[@0: The bald eagle likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cow" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the cow.[(triple2)] The bald eagle eats the lion.[(triple3)] The cat eats the bald eagle.[(triple4)] The cat is kind.[(triple5)] The cow sees the cat.[(triple6)] The lion sees the cat.[(triple7)] @1: The cat is nice.[(((triple1) -> rule1))] @2: The cat sees the lion.[(((((triple1) -> rule1)) -> rule3))]
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 eats the lion.
("bald eagle" "eats" "lion" "+")
triple3
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple4
The cat is kind.
("cat" "is" "kind" "+")
triple5
The cow sees the cat.
("cow" "sees" "cat" "+")
triple6
The lion sees the cat.
("lion" "sees" "cat" "+")
triple7
The cat is nice.
("cat" "is" "nice" "+")
((triple1) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat sees the lion.
("cat" "sees" "lion" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The cat sees the lion.
("cat" "sees" "lion" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2