The squirrel is young. If someone is blue then they are rough. If someone is young then they are not rough. If the squirrel is not young then the squirrel is rough. All young, rough people are blue. If someone is big and not blue then they are green. If someone is young and not big then they are green.
The squirrel is young.
("squirrel" "is" "young" "+")
If someone is blue then they are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is young then they are not rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "-"))
If the squirrel is not young then the squirrel is rough.
((("squirrel" "is" "young" "~")) -> ("squirrel" "is" "rough" "+"))
All young, rough people are blue.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and not blue then they are green.
((("someone" "is" "big" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "green" "+"))
If someone is young and not big then they are green.
((("someone" "is" "young" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "green" "+"))
The squirrel is young.
True
1
proof
[(triple1)]
("squirrel" "is" "young" "+")
triple1
The squirrel is not young.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "young" "-")
triple1
The squirrel is not rough.
True
2
proof
[(((triple1) -> rule2))]
("squirrel" "is" "rough" "-")
((triple1) -> (rule2 % int1))
The squirrel is not rough.
("squirrel" "is" "rough" "-")
int1
The squirrel is rough.
False
2
inv-proof
[(((triple1) -> rule2))]
("squirrel" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The squirrel is not rough.
("squirrel" "is" "rough" "-")
int1
The squirrel is not blue.
Unknown
inv-rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "blue" "-")
The squirrel is green.
Unknown
rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "is" "green" "+")
The squirrel is not big.
Unknown
inv-random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The squirrel is young.[(triple1)] @1: The squirrel is not rough.[(((triple1) -> rule2))]
The squirrel is young.
("squirrel" "is" "young" "+")
triple1
The squirrel is not rough.
("squirrel" "is" "rough" "-")
((triple1) -> (rule2 % int1))
The squirrel is not rough.
("squirrel" "is" "rough" "-")
int1