The squirrel is blue. If something is blue and rough then it is kind. If something is blue then it is young. All blue, young things are nice. If the squirrel is rough and the squirrel is nice then the squirrel is kind. If the squirrel is nice and the squirrel is kind then the squirrel is young. All rough things are young.
The squirrel is blue.
("squirrel" "is" "blue" "+")
If something is blue and rough then it is kind.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something is blue then it is young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
All blue, young things are nice.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If the squirrel is rough and the squirrel is nice then the squirrel is kind.
((("squirrel" "is" "rough" "+") ("squirrel" "is" "nice" "+")) -> ("squirrel" "is" "kind" "+"))
If the squirrel is nice and the squirrel is kind then the squirrel is young.
((("squirrel" "is" "nice" "+") ("squirrel" "is" "kind" "+")) -> ("squirrel" "is" "young" "+"))
All rough things are young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
The squirrel is blue.
True
1
proof
[(triple1)]
("squirrel" "is" "blue" "+")
triple1
The squirrel is not blue.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "blue" "-")
triple1
The squirrel is young.
True
2
proof
[(((triple1) -> rule2))]
("squirrel" "is" "young" "+")
((triple1) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is not young.
False
2
inv-proof
[(((triple1) -> rule2))]
("squirrel" "is" "young" "-")
((triple1) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is not kind.
Unknown
inv-rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "kind" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
The squirrel is not rough.
Unknown
inv-random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The squirrel is blue.[(triple1)] @1: The squirrel is young.[(((triple1) -> rule2))] @2: The squirrel is nice.[(((triple1 ((triple1) -> rule2)) -> rule3))]
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple1
The squirrel is young.
("squirrel" "is" "young" "+")
((triple1) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2