The bald eagle chases the cat. The bear chases the lion. The bear does not eat the bald eagle. The cat is blue. The cat is cold. The lion eats the cat. The lion does not like the bear. If someone eats the cat then they eat the lion. If someone chases the cat and the cat is cold then they do not like the cat. If someone eats the lion then the lion chases the cat. If someone chases the bear then the bear eats the lion. If someone is cold and they like the cat then they like the lion. If someone is nice then they like the bald eagle.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear does not eat the bald eagle.
("bear" "eats" "bald eagle" "-")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion does not like the bear.
("lion" "likes" "bear" "-")
If someone eats the cat then they eat the lion.
((("someone" "eats" "cat" "+")) -> ("someone" "eats" "lion" "+"))
If someone chases the cat and the cat is cold then they do not like the cat.
((("someone" "chases" "cat" "+") ("cat" "is" "cold" "+")) -> ("someone" "likes" "cat" "-"))
If someone eats the lion then the lion chases the cat.
((("someone" "eats" "lion" "+")) -> ("lion" "chases" "cat" "+"))
If someone chases the bear then the bear eats the lion.
((("someone" "chases" "bear" "+")) -> ("bear" "eats" "lion" "+"))
If someone is cold and they like the cat then they like the lion.
((("someone" "is" "cold" "+") ("someone" "likes" "cat" "+")) -> ("someone" "likes" "lion" "+"))
If someone is nice then they like the bald eagle.
((("someone" "is" "nice" "+")) -> ("someone" "likes" "bald eagle" "+"))
The lion does not like the bear.
True
1
proof
[(triple7)]
("lion" "likes" "bear" "-")
triple7
The cat is not cold.
False
1
inv-proof
[(triple5)]
("cat" "is" "cold" "-")
triple5
The lion eats the lion.
True
2
proof
[(((triple6) -> rule1))]
("lion" "eats" "lion" "+")
((triple6) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion does not eat the lion.
False
2
inv-proof
[(((triple6) -> rule1))]
("lion" "eats" "lion" "-")
((triple6) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion chases the cat.
True
3
proof
[(((((triple6) -> rule1)) -> rule3))]
("lion" "chases" "cat" "+")
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion does not chase the cat.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule3))]
("lion" "chases" "cat" "-")
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion does not like the cat.
True
5
proof
[(((((((triple6) -> rule1)) -> rule3) triple5) -> rule2))]
("lion" "likes" "cat" "-")
((((((triple6) -> (rule1 % int3))) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The lion does not like the cat.
("lion" "likes" "cat" "-")
int1
The lion chases the cat.
("lion" "chases" "cat" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
The lion likes the cat.
False
5
inv-proof
[(((((((triple6) -> rule1)) -> rule3) triple5) -> rule2))]
("lion" "likes" "cat" "+")
((((((triple6) -> (rule1 % int3))) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The lion does not like the cat.
("lion" "likes" "cat" "-")
int1
The lion chases the cat.
("lion" "chases" "cat" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle eats the lion.
Unknown
rconc
[@1: The bald eagle eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "lion" "+")
The cat does not eat the lion.
Unknown
inv-rconc
[@1: The cat eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "lion" "-")
The lion likes the lion.
Unknown
rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "likes" "lion" "+")
The lion does not chase the bear.
Unknown
inv-random
[@0: The lion chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bear" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle chases the cat.[(triple1)] The bear chases the lion.[(triple2)] The bear does not eat the bald eagle.[(triple3)] The cat is blue.[(triple4)] The cat is cold.[(triple5)] The lion does not like the bear.[(triple7)] The lion eats the cat.[(triple6)] @1: The bald eagle does not like the cat.[(((triple1 triple5) -> rule2))] The lion eats the lion.[(((triple6) -> rule1))] @2: The lion chases the cat.[(((((triple6) -> rule1)) -> rule3))] @3: The lion does not like the cat.[(((((((triple6) -> rule1)) -> rule3) triple5) -> rule2))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bear chases the lion.
("bear" "chases" "lion" "+")
triple2
The bear does not eat the bald eagle.
("bear" "eats" "bald eagle" "-")
triple3
The cat is blue.
("cat" "is" "blue" "+")
triple4
The cat is cold.
("cat" "is" "cold" "+")
triple5
The lion does not like the bear.
("lion" "likes" "bear" "-")
triple7
The lion eats the cat.
("lion" "eats" "cat" "+")
triple6
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
((triple1 triple5) -> (rule2 % int1))
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple6) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion chases the cat.
("lion" "chases" "cat" "+")
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion does not like the cat.
("lion" "likes" "cat" "-")
((((((triple6) -> (rule1 % int3))) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The lion does not like the cat.
("lion" "likes" "cat" "-")
int1
The lion chases the cat.
("lion" "chases" "cat" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3