The bald eagle is cold. The bald eagle is not young. The bald eagle needs the mouse. The mouse is blue. The mouse needs the tiger. The mouse sees the bald eagle. The mouse sees the rabbit. The rabbit eats the mouse. The rabbit eats the tiger. The rabbit is blue. The rabbit is cold. The rabbit is young. The rabbit needs the mouse. The rabbit does not need the tiger. The tiger sees the mouse. The tiger does not see the rabbit. If something needs the bald eagle and it is not kind then the bald eagle eats the tiger. If something needs the bald eagle and the bald eagle eats the tiger then the tiger is not blue.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is not young.
("bald eagle" "is" "young" "-")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The rabbit does not need the tiger.
("rabbit" "needs" "tiger" "-")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
The tiger does not see the rabbit.
("tiger" "sees" "rabbit" "-")
If something needs the bald eagle and it is not kind then the bald eagle eats the tiger.
((("something" "needs" "bald eagle" "+") ("something" "is" "kind" "~")) -> ("bald eagle" "eats" "tiger" "+"))
If something needs the bald eagle and the bald eagle eats the tiger then the tiger is not blue.
((("something" "needs" "bald eagle" "+") ("bald eagle" "eats" "tiger" "+")) -> ("tiger" "is" "blue" "-"))
The rabbit is cold.
True
1
proof
[(triple11)]
("rabbit" "is" "cold" "+")
triple11
The rabbit does not eat the mouse.
False
1
inv-proof
[(triple8)]
("rabbit" "eats" "mouse" "-")
triple8
The bald eagle does not eat the tiger.
Unknown
inv-rconc
[@1: The bald eagle eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "tiger" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle is not young.[(triple2)] The bald eagle needs the mouse.[(triple3)] The mouse is blue.[(triple4)] The mouse needs the tiger.[(triple5)] The mouse sees the bald eagle.[(triple6)] The mouse sees the rabbit.[(triple7)] The rabbit does not need the tiger.[(triple14)] The rabbit eats the mouse.[(triple8)] The rabbit eats the tiger.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is cold.[(triple11)] The rabbit is young.[(triple12)] The rabbit needs the mouse.[(triple13)] The tiger does not see the rabbit.[(triple16)] The tiger sees the mouse.[(triple15)]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is not young.
("bald eagle" "is" "young" "-")
triple2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple3
The mouse is blue.
("mouse" "is" "blue" "+")
triple4
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple5
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple6
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple7
The rabbit does not need the tiger.
("rabbit" "needs" "tiger" "-")
triple14
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple8
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple9
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple11
The rabbit is young.
("rabbit" "is" "young" "+")
triple12
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple13
The tiger does not see the rabbit.
("tiger" "sees" "rabbit" "-")
triple16
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple15