The squirrel is green. If someone is round and not nice then they are red. If the squirrel is green then the squirrel is cold.
The squirrel is green.
("squirrel" "is" "green" "+")
If someone is round and not nice then they are red.
((("someone" "is" "round" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "red" "+"))
If the squirrel is green then the squirrel is cold.
((("squirrel" "is" "green" "+")) -> ("squirrel" "is" "cold" "+"))
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 cold.
True
2
proof
[(((triple1) -> rule2))]
("squirrel" "is" "cold" "+")
((triple1) -> (rule2 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is not cold.
False
2
inv-proof
[(((triple1) -> rule2))]
("squirrel" "is" "cold" "-")
((triple1) -> (rule2 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is not red.
Unknown
inv-rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "red" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
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 is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
@0: The squirrel is green.[(triple1)] @1: The squirrel is cold.[(((triple1) -> rule2))]
The squirrel is green.
("squirrel" "is" "green" "+")
triple1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple1) -> (rule2 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1