The bald eagle chases the squirrel. The lion is kind. The squirrel needs the bald eagle. The tiger is blue. All blue people are rough. If the squirrel is kind then the squirrel needs the bald eagle. If someone needs the tiger and the tiger is rough then they are kind.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The lion is kind.
("lion" "is" "kind" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
All blue people are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If the squirrel is kind then the squirrel needs the bald eagle.
((("squirrel" "is" "kind" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
If someone needs the tiger and the tiger is rough then they are kind.
((("someone" "needs" "tiger" "+") ("tiger" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
The tiger is blue.
True
1
proof
[(triple4)]
("tiger" "is" "blue" "+")
triple4
The squirrel does not need the bald eagle.
False
1
inv-proof
[(triple3)]
("squirrel" "needs" "bald eagle" "-")
triple3
The tiger is rough.
True
2
proof
[(((triple4) -> rule1))]
("tiger" "is" "rough" "+")
((triple4) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is not rough.
False
2
inv-proof
[(((triple4) -> rule1))]
("tiger" "is" "rough" "-")
((triple4) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle is rough.
Unknown
rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "rough" "+")
The tiger is not green.
Unknown
inv-random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "-")
The lion sees the tiger.
Unknown
random
[@0: The lion sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "tiger" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The lion is kind.[(triple2)] The squirrel needs the bald eagle.[(triple3)] The tiger is blue.[(triple4)] @1: The tiger is rough.[(((triple4) -> rule1))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The lion is kind.
("lion" "is" "kind" "+")
triple2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple3
The tiger is blue.
("tiger" "is" "blue" "+")
triple4
The tiger is rough.
("tiger" "is" "rough" "+")
((triple4) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1