The bald eagle chases the mouse. The bald eagle is cold. The lion chases the bald eagle. The lion does not chase the mouse. The lion eats the bald eagle. The lion is not cold. The lion is not young. The lion visits the bald eagle. The lion visits the mouse. The mouse does not chase the bald eagle. The mouse does not eat the bald eagle. The mouse eats the lion. The mouse is blue. The mouse is cold. The mouse is young. The mouse visits the lion. If someone is blue then they are nice. If someone chases the mouse and the mouse is red then the mouse is nice.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion does not chase the mouse.
("lion" "chases" "mouse" "-")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is not cold.
("lion" "is" "cold" "-")
The lion is not young.
("lion" "is" "young" "-")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse does not chase the bald eagle.
("mouse" "chases" "bald eagle" "-")
The mouse does not eat the bald eagle.
("mouse" "eats" "bald eagle" "-")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
If someone is blue then they are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone chases the mouse and the mouse is red then the mouse is nice.
((("someone" "chases" "mouse" "+") ("mouse" "is" "red" "+")) -> ("mouse" "is" "nice" "+"))
The lion visits the bald eagle.
True
1
proof
[(triple8)]
("lion" "visits" "bald eagle" "+")
triple8
The lion is young.
False
1
inv-proof
[(triple7)]
("lion" "is" "young" "+")
triple7
The mouse is nice.
True
2
proof
[(((triple13) -> rule1))]
("mouse" "is" "nice" "+")
((triple13) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is not nice.
False
2
inv-proof
[(((triple13) -> rule1))]
("mouse" "is" "nice" "-")
((triple13) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The lion is not nice.
Unknown
inv-rconc
[@1: The lion is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "nice" "-")
The bald eagle is nice.
Unknown
rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "nice" "+")
The mouse does not chase the lion.
Unknown
inv-random
[@0: The mouse chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "lion" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is cold.[(triple2)] The lion chases the bald eagle.[(triple3)] The lion does not chase the mouse.[(triple4)] The lion eats the bald eagle.[(triple5)] The lion is not cold.[(triple6)] The lion is not young.[(triple7)] The lion visits the bald eagle.[(triple8)] The lion visits the mouse.[(triple9)] The mouse does not chase the bald eagle.[(triple10)] The mouse does not eat the bald eagle.[(triple11)] The mouse eats the lion.[(triple12)] The mouse is blue.[(triple13)] The mouse is cold.[(triple14)] The mouse is young.[(triple15)] The mouse visits the lion.[(triple16)] @1: The mouse is nice.[(((triple13) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple3
The lion does not chase the mouse.
("lion" "chases" "mouse" "-")
triple4
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple5
The lion is not cold.
("lion" "is" "cold" "-")
triple6
The lion is not young.
("lion" "is" "young" "-")
triple7
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple8
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple9
The mouse does not chase the bald eagle.
("mouse" "chases" "bald eagle" "-")
triple10
The mouse does not eat the bald eagle.
("mouse" "eats" "bald eagle" "-")
triple11
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple12
The mouse is blue.
("mouse" "is" "blue" "+")
triple13
The mouse is cold.
("mouse" "is" "cold" "+")
triple14
The mouse is young.
("mouse" "is" "young" "+")
triple15
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple16
The mouse is nice.
("mouse" "is" "nice" "+")
((triple13) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1