The squirrel is green. If someone is green and rough then they are nice. Green people are nice. If someone is green and rough then they are nice. Rough people are blue. Blue people are red. All red, green people are nice.
The squirrel is green.
("squirrel" "is" "green" "+")
If someone is green and rough then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and rough then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
All red, green people are nice.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
The squirrel is green.
True
1
proof
[(triple1)]
("squirrel" "is" "green" "+")
triple1
The squirrel is not green.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "green" "-")
triple1
The squirrel is nice.
True
2
proof
[(((triple1) -> rule2))]
("squirrel" "is" "nice" "+")
((triple1) -> (rule2 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is not nice.
False
2
inv-proof
[(((triple1) -> rule2))]
("squirrel" "is" "nice" "-")
((triple1) -> (rule2 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is not red.
Unknown
inv-rconc
[@2: The squirrel is red.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("squirrel" "is" "red" "-")
The squirrel is blue.
Unknown
rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "blue" "+")
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 is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The squirrel is green.[(triple1)] @1: The squirrel is nice.[(((triple1) -> rule2))]
The squirrel is green.
("squirrel" "is" "green" "+")
triple1
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple1) -> (rule2 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1