The bald eagle is not cold. The bald eagle is green. The bald eagle is not kind. The bald eagle is not young. The bald eagle likes the mouse. The bald eagle likes the tiger. The bald eagle sees the mouse. The bald eagle sees the tiger. The bald eagle does not visit the mouse. The mouse is cold. The mouse is nice. The mouse sees the bald eagle. The mouse visits the bald eagle. The tiger visits the bald eagle. The tiger visits the mouse. If the tiger does not see the bald eagle then the tiger does not see the mouse. If the tiger visits the mouse and the tiger is cold then the tiger likes the mouse. If something sees the tiger and it likes the tiger then the tiger is young.
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle is not young.
("bald eagle" "is" "young" "-")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bald eagle does not visit the mouse.
("bald eagle" "visits" "mouse" "-")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If the tiger does not see the bald eagle then the tiger does not see the mouse.
((("tiger" "sees" "bald eagle" "~")) -> ("tiger" "sees" "mouse" "-"))
If the tiger visits the mouse and the tiger is cold then the tiger likes the mouse.
((("tiger" "visits" "mouse" "+") ("tiger" "is" "cold" "+")) -> ("tiger" "likes" "mouse" "+"))
If something sees the tiger and it likes the tiger then the tiger is young.
((("something" "sees" "tiger" "+") ("something" "likes" "tiger" "+")) -> ("tiger" "is" "young" "+"))
The bald eagle does not visit the mouse.
True
1
proof
[(triple9)]
("bald eagle" "visits" "mouse" "-")
triple9
The bald eagle is cold.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "cold" "+")
triple1
The tiger is young.
True
3
proof
[(((triple8 triple6) -> rule3))]
("tiger" "is" "young" "+")
((triple8 triple6) -> (rule3 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is not young.
False
3
inv-proof
[(((triple8 triple6) -> rule3))]
("tiger" "is" "young" "-")
((triple8 triple6) -> (rule3 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger does not like the mouse.
Unknown
inv-rconc
[@1: The tiger likes the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "likes" "mouse" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The tiger sees the mouse.
Unknown
random
[@0: The tiger sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "mouse" "+")
@0: The bald eagle does not visit the mouse.[(triple9)] The bald eagle is green.[(triple2)] The bald eagle is not cold.[(triple1)] The bald eagle is not kind.[(triple3)] The bald eagle is not young.[(triple4)] The bald eagle likes the mouse.[(triple5)] The bald eagle likes the tiger.[(triple6)] The bald eagle sees the mouse.[(triple7)] The bald eagle sees the tiger.[(triple8)] The mouse is cold.[(triple10)] The mouse is nice.[(triple11)] The mouse sees the bald eagle.[(triple12)] The mouse visits the bald eagle.[(triple13)] The tiger visits the bald eagle.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The tiger is young.[(((triple8 triple6) -> rule3))]
The bald eagle does not visit the mouse.
("bald eagle" "visits" "mouse" "-")
triple9
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple1
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple3
The bald eagle is not young.
("bald eagle" "is" "young" "-")
triple4
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple5
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple6
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple7
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple8
The mouse is cold.
("mouse" "is" "cold" "+")
triple10
The mouse is nice.
("mouse" "is" "nice" "+")
triple11
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple12
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple13
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple14
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple15
The tiger is young.
("tiger" "is" "young" "+")
((triple8 triple6) -> (rule3 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1