The bald eagle chases the cow. The bald eagle is nice. The cat chases the cow. The cat chases the lion. The cat is blue. The cat is green. The cat is nice. The cat likes the cow. The cat likes the lion. The cow chases the bald eagle. The cow chases the cat. The cow likes the bald eagle. The lion chases the bald eagle. The lion chases the cat. The lion likes the cat. If the lion sees the cat then the lion is blue. If something chases the lion and it sees the lion then it likes the cow. If something sees the lion and the lion is kind then it likes the bald eagle. If something likes the lion then the lion sees the cow. If something sees the cow then it likes the bald eagle. If something sees the cat and the cat chases the bald eagle then the cat is blue. If the cow is green and the cow is nice then the cow chases the bald eagle. If the cow is cold and the cow likes the cat then the cow sees the lion.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
If the lion sees the cat then the lion is blue.
((("lion" "sees" "cat" "+")) -> ("lion" "is" "blue" "+"))
If something chases the lion and it sees the lion then it likes the cow.
((("something" "chases" "lion" "+") ("something" "sees" "lion" "+")) -> ("something" "likes" "cow" "+"))
If something sees the lion and the lion is kind then it likes the bald eagle.
((("something" "sees" "lion" "+") ("lion" "is" "kind" "+")) -> ("something" "likes" "bald eagle" "+"))
If something likes the lion then the lion sees the cow.
((("something" "likes" "lion" "+")) -> ("lion" "sees" "cow" "+"))
If something sees the cow then it likes the bald eagle.
((("something" "sees" "cow" "+")) -> ("something" "likes" "bald eagle" "+"))
If something sees the cat and the cat chases the bald eagle then the cat is blue.
((("something" "sees" "cat" "+") ("cat" "chases" "bald eagle" "+")) -> ("cat" "is" "blue" "+"))
If the cow is green and the cow is nice then the cow chases the bald eagle.
((("cow" "is" "green" "+") ("cow" "is" "nice" "+")) -> ("cow" "chases" "bald eagle" "+"))
If the cow is cold and the cow likes the cat then the cow sees the lion.
((("cow" "is" "cold" "+") ("cow" "likes" "cat" "+")) -> ("cow" "sees" "lion" "+"))
The cat is nice.
True
1
proof
[(triple7)]
("cat" "is" "nice" "+")
triple7
The cat does not like the lion.
False
1
inv-proof
[(triple9)]
("cat" "likes" "lion" "-")
triple9
The lion sees the cow.
True
2
proof
[(((triple9) -> rule4))]
("lion" "sees" "cow" "+")
((triple9) -> (rule4 % int1))
The lion sees the cow.
("lion" "sees" "cow" "+")
int1
The lion does not see the cow.
False
2
inv-proof
[(((triple9) -> rule4))]
("lion" "sees" "cow" "-")
((triple9) -> (rule4 % int1))
The lion sees the cow.
("lion" "sees" "cow" "+")
int1
The lion likes the bald eagle.
True
3
proof
[(((((triple9) -> rule4)) -> rule5))]
("lion" "likes" "bald eagle" "+")
((((triple9) -> (rule4 % int2))) -> (rule5 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
int2
The lion does not like the bald eagle.
False
3
inv-proof
[(((((triple9) -> rule4)) -> rule5))]
("lion" "likes" "bald eagle" "-")
((((triple9) -> (rule4 % int2))) -> (rule5 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
int2
The bald eagle does not like the cow.
Unknown
inv-rconc
[@1: The bald eagle likes the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "cow" "-")
The cow likes the cow.
Unknown
rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "likes" "cow" "+")
The lion is not blue.
Unknown
inv-rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "blue" "-")
The cat sees the lion.
Unknown
random
[@0: The cat sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "lion" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is nice.[(triple2)] The cat chases the cow.[(triple3)] The cat chases the lion.[(triple4)] The cat is blue.[(triple5)] The cat is green.[(triple6)] The cat is nice.[(triple7)] The cat likes the cow.[(triple8)] The cat likes the lion.[(triple9)] The cow chases the bald eagle.[(triple10)] The cow chases the cat.[(triple11)] The cow likes the bald eagle.[(triple12)] The lion chases the bald eagle.[(triple13)] The lion chases the cat.[(triple14)] The lion likes the cat.[(triple15)] @1: The lion sees the cow.[(((triple9) -> rule4))] @2: The lion likes the bald eagle.[(((((triple9) -> rule4)) -> rule5))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The cat chases the cow.
("cat" "chases" "cow" "+")
triple3
The cat chases the lion.
("cat" "chases" "lion" "+")
triple4
The cat is blue.
("cat" "is" "blue" "+")
triple5
The cat is green.
("cat" "is" "green" "+")
triple6
The cat is nice.
("cat" "is" "nice" "+")
triple7
The cat likes the cow.
("cat" "likes" "cow" "+")
triple8
The cat likes the lion.
("cat" "likes" "lion" "+")
triple9
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple10
The cow chases the cat.
("cow" "chases" "cat" "+")
triple11
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple12
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple13
The lion chases the cat.
("lion" "chases" "cat" "+")
triple14
The lion likes the cat.
("lion" "likes" "cat" "+")
triple15
The lion sees the cow.
("lion" "sees" "cow" "+")
((triple9) -> (rule4 % int1))
The lion sees the cow.
("lion" "sees" "cow" "+")
int1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
((((triple9) -> (rule4 % int2))) -> (rule5 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
int2