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