The bald eagle is red. The mouse is red. The mouse needs the bald eagle. The tiger is red. The tiger is not round. The tiger does not need the bald eagle. The tiger needs the mouse. If something needs the tiger and it likes the bald eagle then it is not cold. If the tiger is big and the tiger needs the bald eagle then the bald eagle likes the mouse. If something eats the tiger then the tiger eats the mouse. If something eats the bald eagle and it needs the bald eagle then it likes the bald eagle. If the tiger is cold then the tiger is big. If the tiger needs the mouse and the tiger likes the bald eagle then the mouse likes the tiger. If something needs the bald eagle then the bald eagle needs the mouse. If something likes the bald eagle and it does not eat the bald eagle then the bald eagle is cold.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is not round.
("tiger" "is" "round" "-")
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
If something needs the tiger and it likes the bald eagle then it is not cold.
((("something" "needs" "tiger" "+") ("something" "likes" "bald eagle" "+")) -> ("something" "is" "cold" "-"))
If the tiger is big and the tiger needs the bald eagle then the bald eagle likes the mouse.
((("tiger" "is" "big" "+") ("tiger" "needs" "bald eagle" "+")) -> ("bald eagle" "likes" "mouse" "+"))
If something eats the tiger then the tiger eats the mouse.
((("something" "eats" "tiger" "+")) -> ("tiger" "eats" "mouse" "+"))
If something eats the bald eagle and it needs the bald eagle then it likes the bald eagle.
((("something" "eats" "bald eagle" "+") ("something" "needs" "bald eagle" "+")) -> ("something" "likes" "bald eagle" "+"))
If the tiger is cold then the tiger is big.
((("tiger" "is" "cold" "+")) -> ("tiger" "is" "big" "+"))
If the tiger needs the mouse and the tiger likes the bald eagle then the mouse likes the tiger.
((("tiger" "needs" "mouse" "+") ("tiger" "likes" "bald eagle" "+")) -> ("mouse" "likes" "tiger" "+"))
If something needs the bald eagle then the bald eagle needs the mouse.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "mouse" "+"))
If something likes the bald eagle and it does not eat the bald eagle then the bald eagle is cold.
((("something" "likes" "bald eagle" "+") ("something" "eats" "bald eagle" "~")) -> ("bald eagle" "is" "cold" "+"))
The tiger needs the mouse.
True
1
proof
[(triple7)]
("tiger" "needs" "mouse" "+")
triple7
The tiger does not need the mouse.
False
1
inv-proof
[(triple7)]
("tiger" "needs" "mouse" "-")
triple7
The bald eagle needs the mouse.
True
2
proof
[(((triple3) -> rule7))]
("bald eagle" "needs" "mouse" "+")
((triple3) -> (rule7 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle does not need the mouse.
False
2
inv-proof
[(((triple3) -> rule7))]
("bald eagle" "needs" "mouse" "-")
((triple3) -> (rule7 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The mouse does not like the tiger.
Unknown
inv-rconc
[@2: The mouse likes the tiger.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("mouse" "likes" "tiger" "-")
The bald eagle likes the mouse.
Unknown
rconc
[@1: The bald eagle likes the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "mouse" "+")
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The mouse needs the tiger.
Unknown
random
[@0: The mouse needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "tiger" "+")
@0: The bald eagle is red.[(triple1)] The mouse is red.[(triple2)] The mouse needs the bald eagle.[(triple3)] The tiger does not need the bald eagle.[(triple6)] The tiger is not round.[(triple5)] The tiger is red.[(triple4)] The tiger needs the mouse.[(triple7)] @1: The bald eagle needs the mouse.[(((triple3) -> rule7))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The mouse is red.
("mouse" "is" "red" "+")
triple2
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple3
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
triple6
The tiger is not round.
("tiger" "is" "round" "-")
triple5
The tiger is red.
("tiger" "is" "red" "+")
triple4
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple7
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
((triple3) -> (rule7 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1