The bald eagle does not chase the mouse. The bald eagle eats the squirrel. The bald eagle visits the bear. The bear chases the bald eagle. The bear eats the mouse. The bear is red. The bear visits the mouse. The mouse does not chase the bear. The mouse eats the bald eagle. The mouse eats the bear. The mouse is cold. The mouse is kind. The mouse is not rough. The squirrel chases the bear. The squirrel is kind. The squirrel is nice. All red people are nice. If someone chases the mouse then they visit the bald eagle. If someone chases the squirrel then they do not visit the bald eagle. If the mouse is cold and the mouse eats the bald eagle then the mouse is red. If someone visits the bear and they are rough then the bear does not chase the bald eagle. If the bald eagle is red and the squirrel does not chase the bald eagle then the squirrel is nice.
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is red.
("bear" "is" "red" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse does not chase the bear.
("mouse" "chases" "bear" "-")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is not rough.
("mouse" "is" "rough" "-")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
All red people are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone chases the mouse then they visit the bald eagle.
((("someone" "chases" "mouse" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone chases the squirrel then they do not visit the bald eagle.
((("someone" "chases" "squirrel" "+")) -> ("someone" "visits" "bald eagle" "-"))
If the mouse is cold and the mouse eats the bald eagle then the mouse is red.
((("mouse" "is" "cold" "+") ("mouse" "eats" "bald eagle" "+")) -> ("mouse" "is" "red" "+"))
If someone visits the bear and they are rough then the bear does not chase the bald eagle.
((("someone" "visits" "bear" "+") ("someone" "is" "rough" "+")) -> ("bear" "chases" "bald eagle" "-"))
If the bald eagle is red and the squirrel does not chase the bald eagle then the squirrel is nice.
((("bald eagle" "is" "red" "+") ("squirrel" "chases" "bald eagle" "~")) -> ("squirrel" "is" "nice" "+"))
The mouse is not rough.
True
1
proof
[(triple13)]
("mouse" "is" "rough" "-")
triple13
The squirrel is not kind.
False
1
inv-proof
[(triple15)]
("squirrel" "is" "kind" "-")
triple15
The bear is nice.
True
2
proof
[(((triple6) -> rule1))]
("bear" "is" "nice" "+")
((triple6) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The mouse is not red.
False
3
inv-proof
[(((triple11 triple9) -> rule4))]
("mouse" "is" "red" "-")
((triple11 triple9) -> (rule4 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is nice.
True
4
proof
[(((((triple11 triple9) -> rule4)) -> rule1))]
("mouse" "is" "nice" "+")
((((triple11 triple9) -> (rule4 % int2))) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse is not nice.
False
4
inv-proof
[(((((triple11 triple9) -> rule4)) -> rule1))]
("mouse" "is" "nice" "-")
((((triple11 triple9) -> (rule4 % int2))) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The mouse visits the bald eagle.
Unknown
rconc
[@1: The mouse visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "visits" "bald eagle" "+")
The squirrel does not visit the bald eagle.
Unknown
inv-rconc
[@1: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "visits" "bald eagle" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle does not chase the mouse.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear eats the mouse.[(triple5)] The bear is red.[(triple6)] The bear visits the mouse.[(triple7)] The mouse does not chase the bear.[(triple8)] The mouse eats the bald eagle.[(triple9)] The mouse eats the bear.[(triple10)] The mouse is cold.[(triple11)] The mouse is kind.[(triple12)] The mouse is not rough.[(triple13)] The squirrel chases the bear.[(triple14)] The squirrel is kind.[(triple15)] The squirrel is nice.[(triple16)] @1: The bear is nice.[(((triple6) -> rule1))] The mouse is red.[(((triple11 triple9) -> rule4))] @2: The mouse is nice.[(((((triple11 triple9) -> rule4)) -> rule1))]
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple4
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple5
The bear is red.
("bear" "is" "red" "+")
triple6
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple7
The mouse does not chase the bear.
("mouse" "chases" "bear" "-")
triple8
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple9
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple10
The mouse is cold.
("mouse" "is" "cold" "+")
triple11
The mouse is kind.
("mouse" "is" "kind" "+")
triple12
The mouse is not rough.
("mouse" "is" "rough" "-")
triple13
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple14
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple15
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple16
The bear is nice.
("bear" "is" "nice" "+")
((triple6) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
((triple11 triple9) -> (rule4 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
((((triple11 triple9) -> (rule4 % int2))) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2