The squirrel is rough. Young people are kind. Kind, green people are young. All young, green people are kind. Rough people are young. If someone is kind then they are red. All green people are rough.
The squirrel is rough.
("squirrel" "is" "rough" "+")
Young people are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Kind, green people are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
All young, green people are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is kind then they are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
All green people are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
The squirrel is rough.
True
1
proof
[(triple1)]
("squirrel" "is" "rough" "+")
triple1
The squirrel is not rough.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "rough" "-")
triple1
The squirrel is young.
True
2
proof
[(((triple1) -> rule4))]
("squirrel" "is" "young" "+")
((triple1) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is not young.
False
2
inv-proof
[(((triple1) -> rule4))]
("squirrel" "is" "young" "-")
((triple1) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is kind.
True
3
proof
[(((((triple1) -> rule4)) -> rule1))]
("squirrel" "is" "kind" "+")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is not kind.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule1))]
("squirrel" "is" "kind" "-")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is red.
True
4
proof
[(((((((triple1) -> rule4)) -> rule1)) -> rule5))]
("squirrel" "is" "red" "+")
((((((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel is not red.
False
4
inv-proof
[(((((((triple1) -> rule4)) -> rule1)) -> rule5))]
("squirrel" "is" "red" "-")
((((((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
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 green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
@0: The squirrel is rough.[(triple1)] @1: The squirrel is young.[(((triple1) -> rule4))] @2: The squirrel is kind.[(((((triple1) -> rule4)) -> rule1))] @3: The squirrel is red.[(((((((triple1) -> rule4)) -> rule1)) -> rule5))]
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple1
The squirrel is young.
("squirrel" "is" "young" "+")
((triple1) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
((((((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3