The cat is not blue. The cat is kind. The cat is rough. The cat is round. The cat is not young. Young people are blue. If someone is young and not rough then they are blue. Blue people are round. All kind, young people are round. Young people are round. If the cat is blue and the cat is not kind then the cat is young.
The cat is not blue.
("cat" "is" "blue" "-")
The cat is kind.
("cat" "is" "kind" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is not young.
("cat" "is" "young" "-")
Young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and not rough then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "blue" "+"))
Blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
All kind, young people are round.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If the cat is blue and the cat is not kind then the cat is young.
((("cat" "is" "blue" "+") ("cat" "is" "kind" "~")) -> ("cat" "is" "young" "+"))
The cat is not young.
True
1
proof
[(triple5)]
("cat" "is" "young" "-")
triple5
The cat is young.
False
1
inv-proof
[(triple5)]
("cat" "is" "young" "+")
triple5
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The cat is kind.[(triple2)] The cat is not blue.[(triple1)] The cat is not young.[(triple5)] The cat is rough.[(triple3)] The cat is round.[(triple4)]
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat is not blue.
("cat" "is" "blue" "-")
triple1
The cat is not young.
("cat" "is" "young" "-")
triple5
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4