The squirrel is kind. All kind people are young. If the squirrel is kind then the squirrel is blue. If someone is kind and not red then they are blue. If someone is kind and red then they are round. If someone is young and not blue then they are round. Young people are round.
The squirrel is kind.
("squirrel" "is" "kind" "+")
All kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If the squirrel is kind then the squirrel is blue.
((("squirrel" "is" "kind" "+")) -> ("squirrel" "is" "blue" "+"))
If someone is kind and not red then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "blue" "+"))
If someone is kind and red then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is young and not blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "round" "+"))
Young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
The squirrel is kind.
True
1
proof
[(triple1)]
("squirrel" "is" "kind" "+")
triple1
The squirrel is not kind.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "kind" "-")
triple1
The squirrel is blue.
True
2
proof
[(((triple1) -> rule2))]
("squirrel" "is" "blue" "+")
((triple1) -> (rule2 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not blue.
False
2
inv-proof
[(((triple1) -> rule2))]
("squirrel" "is" "blue" "-")
((triple1) -> (rule2 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is round.
True
3
proof
[(((((triple1) -> rule1)) -> rule6))]
("squirrel" "is" "round" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is not round.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule6))]
("squirrel" "is" "round" "-")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
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 chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The squirrel is kind.[(triple1)] @1: The squirrel is blue.[(((triple1) -> rule2))] The squirrel is young.[(((triple1) -> rule1))] @2: The squirrel is round.[(((((triple1) -> rule1)) -> rule6))]
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple1) -> (rule2 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((triple1) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2