The bald eagle eats the bear. The bald eagle eats the rabbit. The bald eagle is blue. The bear is round. The lion eats the bald eagle. The lion sees the bear. The rabbit visits the bear. If something eats the lion then it is cold. Cold things are rough. If something visits the rabbit then the rabbit sees the bald eagle. If something sees the rabbit and the rabbit is blue then the rabbit sees the bald eagle. If the bear visits the lion and the lion sees the bald eagle then the bald eagle is rough. If something eats the bald eagle then the bald eagle is blue.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bear is round.
("bear" "is" "round" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If something eats the lion then it is cold.
((("something" "eats" "lion" "+")) -> ("something" "is" "cold" "+"))
Cold things are rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
If something visits the rabbit then the rabbit sees the bald eagle.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
If something sees the rabbit and the rabbit is blue then the rabbit sees the bald eagle.
((("something" "sees" "rabbit" "+") ("rabbit" "is" "blue" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
If the bear visits the lion and the lion sees the bald eagle then the bald eagle is rough.
((("bear" "visits" "lion" "+") ("lion" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If something eats the bald eagle then the bald eagle is blue.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
The bald eagle is blue.
True
1
proof
[(triple3 OR ((triple5) -> rule6))]
("bald eagle" "is" "blue" "+")
triple3
((triple5) -> (rule6 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The lion does not eat the bald eagle.
False
1
inv-proof
[(triple5)]
("lion" "eats" "bald eagle" "-")
triple5
The lion is not cold.
Unknown
inv-rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "cold" "-")
The rabbit is nice.
Unknown
random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is blue.[(triple3 OR ((triple5) -> rule6))] The bear is round.[(triple4)] The lion eats the bald eagle.[(triple5)] The lion sees the bear.[(triple6)] The rabbit visits the bear.[(triple7)]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
((triple5) -> (rule6 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bear is round.
("bear" "is" "round" "+")
triple4
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple5
The lion sees the bear.
("lion" "sees" "bear" "+")
triple6
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple7