The squirrel is green. All kind things are blue. If the squirrel is green then the squirrel is cold. All green, cold things are not red.
The squirrel is green.
("squirrel" "is" "green" "+")
All kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
If the squirrel is green then the squirrel is cold.
((("squirrel" "is" "green" "+")) -> ("squirrel" "is" "cold" "+"))
All green, cold things are not red.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "-"))
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.
True
4
proof
[(((triple1 ((triple1) -> rule2)) -> rule3))]
("squirrel" "is" "red" "-")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel is red.
False
4
inv-proof
[(((triple1 ((triple1) -> rule2)) -> rule3))]
("squirrel" "is" "red" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel is not blue.
Unknown
inv-rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "blue" "-")
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 chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
@0: The squirrel is green.[(triple1)] @1: The squirrel is cold.[(((triple1) -> rule2))] @2: The squirrel is not red.[(((triple1 ((triple1) -> rule2)) -> rule3))]
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
The squirrel is not red.
("squirrel" "is" "red" "-")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2