The bald eagle is blue. The bald eagle is not nice. The bald eagle is round. The bald eagle sees the squirrel. The bald eagle visits the mouse. The lion is nice. The lion does not see the mouse. The mouse chases the squirrel. The mouse is cold. The mouse sees the bald eagle. The mouse sees the squirrel. The mouse visits the lion. The squirrel is blue. The squirrel sees the mouse. The squirrel visits the mouse. If something visits the squirrel and the squirrel chases the mouse then it is nice. If something sees the bald eagle then the bald eagle is cold. If something is blue and it does not chase the bald eagle then it chases the lion. If something is red then it visits the lion. If the squirrel sees the mouse and the mouse is nice then the mouse sees the bald eagle. If the bald eagle is cold then the bald eagle is red. If the bald eagle chases the squirrel and the bald eagle is not nice then the bald eagle sees the squirrel. If the mouse sees the bald eagle then the bald eagle sees the squirrel.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion does not see the mouse.
("lion" "sees" "mouse" "-")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If something visits the squirrel and the squirrel chases the mouse then it is nice.
((("something" "visits" "squirrel" "+") ("squirrel" "chases" "mouse" "+")) -> ("something" "is" "nice" "+"))
If something sees the bald eagle then the bald eagle is cold.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
If something is blue and it does not chase the bald eagle then it chases the lion.
((("something" "is" "blue" "+") ("something" "chases" "bald eagle" "~")) -> ("something" "chases" "lion" "+"))
If something is red then it visits the lion.
((("something" "is" "red" "+")) -> ("something" "visits" "lion" "+"))
If the squirrel sees the mouse and the mouse is nice then the mouse sees the bald eagle.
((("squirrel" "sees" "mouse" "+") ("mouse" "is" "nice" "+")) -> ("mouse" "sees" "bald eagle" "+"))
If the bald eagle is cold then the bald eagle is red.
((("bald eagle" "is" "cold" "+")) -> ("bald eagle" "is" "red" "+"))
If the bald eagle chases the squirrel and the bald eagle is not nice then the bald eagle sees the squirrel.
((("bald eagle" "chases" "squirrel" "+") ("bald eagle" "is" "nice" "~")) -> ("bald eagle" "sees" "squirrel" "+"))
If the mouse sees the bald eagle then the bald eagle sees the squirrel.
((("mouse" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "squirrel" "+"))
The mouse is cold.
True
1
proof
[(triple9)]
("mouse" "is" "cold" "+")
triple9
The mouse does not chase the squirrel.
False
1
inv-proof
[(triple8)]
("mouse" "chases" "squirrel" "-")
triple8
The bald eagle is cold.
True
2
proof
[(((triple10) -> rule2))]
("bald eagle" "is" "cold" "+")
((triple10) -> (rule2 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is not cold.
False
2
inv-proof
[(((triple10) -> rule2))]
("bald eagle" "is" "cold" "-")
((triple10) -> (rule2 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is red.
True
3
proof
[(((((triple10) -> rule2)) -> rule6))]
("bald eagle" "is" "red" "+")
((((triple10) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle is not red.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule6))]
("bald eagle" "is" "red" "-")
((((triple10) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle visits the lion.
True
4
proof
[(((((((triple10) -> rule2)) -> rule6)) -> rule4))]
("bald eagle" "visits" "lion" "+")
((((((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle does not visit the lion.
False
4
inv-proof
[(((((((triple10) -> rule2)) -> rule6)) -> rule4))]
("bald eagle" "visits" "lion" "-")
((((((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle does not chase the lion.
Unknown
inv-rconc
[@1: The bald eagle chases the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "chases" "lion" "-")
The lion visits the lion.
Unknown
rconc
[@1: The lion visits the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "visits" "lion" "+")
The mouse does not chase the lion.
Unknown
inv-rconc
[@1: The mouse chases the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "chases" "lion" "-")
The squirrel is nice.
Unknown
rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "nice" "+")
The squirrel does not see the lion.
Unknown
inv-random
[@0: The squirrel sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "lion" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
The bald eagle does not visit the squirrel.
Unknown
inv-random
[@0: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "squirrel" "-")
The mouse chases the bald eagle.
Unknown
random
[@0: The mouse chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is not nice.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle sees the squirrel.[(triple4 OR ((triple10) -> rule8))] The bald eagle visits the mouse.[(triple5)] The lion does not see the mouse.[(triple7)] The lion is nice.[(triple6)] The mouse chases the squirrel.[(triple8)] The mouse is cold.[(triple9)] The mouse sees the bald eagle.[(triple10)] The mouse sees the squirrel.[(triple11)] The mouse visits the lion.[(triple12)] The squirrel is blue.[(triple13)] The squirrel sees the mouse.[(triple14)] The squirrel visits the mouse.[(triple15)] @1: The bald eagle is cold.[(((triple10) -> rule2))] @2: The bald eagle is red.[(((((triple10) -> rule2)) -> rule6))] @3: The bald eagle visits the lion.[(((((((triple10) -> rule2)) -> rule6)) -> rule4))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple4
((triple10) -> (rule8 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple5
The lion does not see the mouse.
("lion" "sees" "mouse" "-")
triple7
The lion is nice.
("lion" "is" "nice" "+")
triple6
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple8
The mouse is cold.
("mouse" "is" "cold" "+")
triple9
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple10
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple11
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple12
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple13
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple14
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple15
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple10) -> (rule2 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((triple10) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
((((((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3