The bald eagle sees the rabbit. The lion sees the rabbit. The rabbit sees the bald eagle. If someone eats the rabbit and they visit the lion then the lion visits the bald eagle. If someone eats the rabbit then they are rough. If someone sees the lion and the lion is red then the lion eats the bald eagle. If someone visits the rabbit and the rabbit visits the bald eagle then they are rough. If someone sees the rabbit and they eat the lion then they see the bald eagle. If the rabbit sees the lion and the rabbit sees the bald eagle then the rabbit is big. If someone visits the lion and they eat the lion then they are nice. If someone is nice and red then they eat the rabbit.
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If someone eats the rabbit and they visit the lion then the lion visits the bald eagle.
((("someone" "eats" "rabbit" "+") ("someone" "visits" "lion" "+")) -> ("lion" "visits" "bald eagle" "+"))
If someone eats the rabbit then they are rough.
((("someone" "eats" "rabbit" "+")) -> ("someone" "is" "rough" "+"))
If someone sees the lion and the lion is red then the lion eats the bald eagle.
((("someone" "sees" "lion" "+") ("lion" "is" "red" "+")) -> ("lion" "eats" "bald eagle" "+"))
If someone visits the rabbit and the rabbit visits the bald eagle then they are rough.
((("someone" "visits" "rabbit" "+") ("rabbit" "visits" "bald eagle" "+")) -> ("someone" "is" "rough" "+"))
If someone sees the rabbit and they eat the lion then they see the bald eagle.
((("someone" "sees" "rabbit" "+") ("someone" "eats" "lion" "+")) -> ("someone" "sees" "bald eagle" "+"))
If the rabbit sees the lion and the rabbit sees the bald eagle then the rabbit is big.
((("rabbit" "sees" "lion" "+") ("rabbit" "sees" "bald eagle" "+")) -> ("rabbit" "is" "big" "+"))
If someone visits the lion and they eat the lion then they are nice.
((("someone" "visits" "lion" "+") ("someone" "eats" "lion" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and red then they eat the rabbit.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "eats" "rabbit" "+"))
The lion sees the rabbit.
True
1
proof
[(triple2)]
("lion" "sees" "rabbit" "+")
triple2
The rabbit does not see the bald eagle.
False
1
inv-proof
[(triple3)]
("rabbit" "sees" "bald eagle" "-")
triple3
The bald eagle is not rough.
Unknown
inv-rconc
[@2: The bald eagle is rough.[CWA. Example of deepest failure = (rule2 <- rule8 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The rabbit visits the bald eagle.
Unknown
random
[@0: The rabbit visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "bald eagle" "+")
@0: The bald eagle sees the rabbit.[(triple1)] The lion sees the rabbit.[(triple2)] The rabbit sees the bald eagle.[(triple3)]
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple1
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple3