The squirrel is blue. Big things are nice. If the squirrel is blue then the squirrel is rough. If something is rough and not nice then it is round.
The squirrel is blue.
("squirrel" "is" "blue" "+")
Big things are nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
If the squirrel is blue then the squirrel is rough.
((("squirrel" "is" "blue" "+")) -> ("squirrel" "is" "rough" "+"))
If something is rough and not nice then it is round.
((("something" "is" "rough" "+") ("something" "is" "nice" "~")) -> ("something" "is" "round" "+"))
The squirrel is blue.
True
1
proof
[(triple1)]
("squirrel" "is" "blue" "+")
triple1
The squirrel is not blue.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "blue" "-")
triple1
The squirrel is rough.
True
2
proof
[(((triple1) -> rule2))]
("squirrel" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is not rough.
False
2
inv-proof
[(((triple1) -> rule2))]
("squirrel" "is" "rough" "-")
((triple1) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is not nice.
Unknown
inv-rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "nice" "-")
The squirrel is round.
Unknown
rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "round" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The squirrel is blue.[(triple1)] @1: The squirrel is rough.[(((triple1) -> rule2))]
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1