The squirrel is cold. Cold people are young. If someone is rough then they are not red. If the squirrel is red and the squirrel is nice then the squirrel is rough.
The squirrel is cold.
("squirrel" "is" "cold" "+")
Cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is rough then they are not red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "-"))
If the squirrel is red and the squirrel is nice then the squirrel is rough.
((("squirrel" "is" "red" "+") ("squirrel" "is" "nice" "+")) -> ("squirrel" "is" "rough" "+"))
The squirrel is cold.
True
1
proof
[(triple1)]
("squirrel" "is" "cold" "+")
triple1
The squirrel is not cold.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "cold" "-")
triple1
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "rough" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The squirrel is cold.[(triple1)] @1: The squirrel is young.[(((triple1) -> rule1))]
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple1
The squirrel is young.
("squirrel" "is" "young" "+")
((triple1) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1