The bald eagle is not green. The bald eagle sees the rabbit. The lion is not blue. The lion is cold. The lion is kind. The mouse is green. The mouse likes the lion. The rabbit does not chase the mouse. The rabbit is not kind. The rabbit is round. The rabbit likes the mouse. The rabbit sees the lion. If something chases the lion then the lion likes the bald eagle. If something is green and not round then it does not like the bald eagle. If the bald eagle is not cold then the bald eagle sees the mouse.
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The lion is not blue.
("lion" "is" "blue" "-")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The rabbit does not chase the mouse.
("rabbit" "chases" "mouse" "-")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
If something chases the lion then the lion likes the bald eagle.
((("something" "chases" "lion" "+")) -> ("lion" "likes" "bald eagle" "+"))
If something is green and not round then it does not like the bald eagle.
((("something" "is" "green" "+") ("something" "is" "round" "~")) -> ("something" "likes" "bald eagle" "-"))
If the bald eagle is not cold then the bald eagle sees the mouse.
((("bald eagle" "is" "cold" "~")) -> ("bald eagle" "sees" "mouse" "+"))
The rabbit is round.
True
1
proof
[(triple10)]
("rabbit" "is" "round" "+")
triple10
The rabbit chases the mouse.
False
1
inv-proof
[(triple8)]
("rabbit" "chases" "mouse" "+")
triple8
The bald eagle does not see the mouse.
Unknown
inv-rconc
[@1: The bald eagle sees the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "sees" "mouse" "-")
The rabbit is blue.
Unknown
random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "+")
@0: The bald eagle is not green.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The lion is cold.[(triple4)] The lion is kind.[(triple5)] The lion is not blue.[(triple3)] The mouse is green.[(triple6)] The mouse likes the lion.[(triple7)] The rabbit does not chase the mouse.[(triple8)] The rabbit is not kind.[(triple9)] The rabbit is round.[(triple10)] The rabbit likes the mouse.[(triple11)] The rabbit sees the lion.[(triple12)]
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple2
The lion is cold.
("lion" "is" "cold" "+")
triple4
The lion is kind.
("lion" "is" "kind" "+")
triple5
The lion is not blue.
("lion" "is" "blue" "-")
triple3
The mouse is green.
("mouse" "is" "green" "+")
triple6
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple7
The rabbit does not chase the mouse.
("rabbit" "chases" "mouse" "-")
triple8
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple9
The rabbit is round.
("rabbit" "is" "round" "+")
triple10
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple11
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple12