The squirrel is nice. If something is kind and not nice then it is round. Nice things are round. Blue things are not kind. Round things are young. If the squirrel is nice and the squirrel is not round then the squirrel is young. If the squirrel is round and the squirrel is kind then the squirrel is young. If the squirrel is blue and the squirrel is not round then the squirrel is young. If the squirrel is not kind then the squirrel is young.
The squirrel is nice.
("squirrel" "is" "nice" "+")
If something is kind and not nice then it is round.
((("something" "is" "kind" "+") ("something" "is" "nice" "~")) -> ("something" "is" "round" "+"))
Nice things are round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
Blue things are not kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "-"))
Round things are young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
If the squirrel is nice and the squirrel is not round then the squirrel is young.
((("squirrel" "is" "nice" "+") ("squirrel" "is" "round" "~")) -> ("squirrel" "is" "young" "+"))
If the squirrel is round and the squirrel is kind then the squirrel is young.
((("squirrel" "is" "round" "+") ("squirrel" "is" "kind" "+")) -> ("squirrel" "is" "young" "+"))
If the squirrel is blue and the squirrel is not round then the squirrel is young.
((("squirrel" "is" "blue" "+") ("squirrel" "is" "round" "~")) -> ("squirrel" "is" "young" "+"))
If the squirrel is not kind then the squirrel is young.
((("squirrel" "is" "kind" "~")) -> ("squirrel" "is" "young" "+"))
The squirrel is nice.
True
1
proof
[(triple1)]
("squirrel" "is" "nice" "+")
triple1
The squirrel is not nice.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "nice" "-")
triple1
The squirrel is round.
True
2
proof
[(((triple1) -> rule2))]
("squirrel" "is" "round" "+")
((triple1) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is not round.
False
2
inv-proof
[(((triple1) -> rule2))]
("squirrel" "is" "round" "-")
((triple1) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is young.
True
3
proof
[(((((triple1) -> rule2)) -> rule4))]
("squirrel" "is" "young" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is not young.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule4))]
("squirrel" "is" "young" "-")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
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 nice.[(triple1)] @1: The squirrel is round.[(((triple1) -> rule2))] @2: The squirrel is young.[(((((triple1) -> rule2)) -> rule4))]
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple1
The squirrel is round.
("squirrel" "is" "round" "+")
((triple1) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2