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