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