The squirrel is nice. The squirrel is not red. The squirrel is rough. The squirrel is round. The squirrel is young. All red people are not nice. Young people are round. All rough, nice people are not red. All red, young people are rough. Red, young people are rough. All nice people are young.
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is not red.
("squirrel" "is" "red" "-")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
All red people are not nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "-"))
Young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
All rough, nice people are not red.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "-"))
All red, young people are rough.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Red, young people are rough.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
All nice people are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
The squirrel is rough.
True
1
proof
[(triple3)]
("squirrel" "is" "rough" "+")
triple3
The squirrel is not nice.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "nice" "-")
triple1
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 likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The squirrel is nice.[(triple1)] The squirrel is not red.[(triple2 OR ((triple3 triple1) -> rule3))] The squirrel is rough.[(triple3)] The squirrel is round.[(triple4 OR ((triple5) -> rule2) OR ((((triple1) -> rule6)) -> rule2))] The squirrel is young.[(triple5 OR ((triple1) -> rule6))]
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple1
The squirrel is not red.
("squirrel" "is" "red" "-")
triple2
((triple3 triple1) -> (rule3 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple3
The squirrel is round.
("squirrel" "is" "round" "+")
triple4
((triple5) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
triple5
((triple1) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1