The squirrel is kind. The squirrel is round. The squirrel is not young. All young, kind people are not nice. If someone is nice and kind then they are young. Young people are not round. If someone is kind then they are round. Young people are round. All round people are kind. All nice, round people are not kind. Kind people are not green.
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is not young.
("squirrel" "is" "young" "-")
All young, kind people are not nice.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "-"))
If someone is nice and kind then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Young people are not round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "-"))
If someone is kind then they are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
All round people are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
All nice, round people are not kind.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "-"))
Kind people are not green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "-"))
The squirrel is kind.
True
1
proof
[(triple1 OR ((triple2) -> rule6))]
("squirrel" "is" "kind" "+")
triple1
((triple2) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is not kind.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule6))]
("squirrel" "is" "kind" "-")
triple1
((triple2) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is not green.
True
2
proof
[(((triple1) -> rule8) OR ((((triple2) -> rule6)) -> rule8))]
("squirrel" "is" "green" "-")
((triple1) -> (rule8 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
((((triple2) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is green.
False
2
inv-proof
[(((triple1) -> rule8) OR ((((triple2) -> rule6)) -> rule8))]
("squirrel" "is" "green" "+")
((triple1) -> (rule8 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
((((triple2) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
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 visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The squirrel is kind.[(triple1 OR ((triple2) -> rule6))] The squirrel is not young.[(triple3)] The squirrel is round.[(triple2 OR ((triple1) -> rule4))] @1: The squirrel is not green.[(((triple1) -> rule8) OR ((((triple2) -> rule6)) -> rule8))]
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple1
((triple2) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is not young.
("squirrel" "is" "young" "-")
triple3
The squirrel is round.
("squirrel" "is" "round" "+")
triple2
((triple1) -> (rule4 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is not green.
("squirrel" "is" "green" "-")
((triple1) -> (rule8 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
((((triple2) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2