The cat is not rough. All kind people are not green. Round people are not kind. Rough people are not round. All rough, kind people are red. If the cat is not green then the cat is not red. If the cat is not rough then the cat is not red.
The cat is not rough.
("cat" "is" "rough" "-")
All kind people are not green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "-"))
Round people are not kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "-"))
Rough people are not round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "-"))
All rough, kind people are red.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If the cat is not green then the cat is not red.
((("cat" "is" "green" "~")) -> ("cat" "is" "red" "-"))
If the cat is not rough then the cat is not red.
((("cat" "is" "rough" "~")) -> ("cat" "is" "red" "-"))
The cat is not rough.
True
1
proof
[(triple1)]
("cat" "is" "rough" "-")
triple1
The cat is rough.
False
1
inv-proof
[(triple1)]
("cat" "is" "rough" "+")
triple1
The cat is not red.
True
2
proof
[(((triple1) -> rule6))]
("cat" "is" "red" "-")
((triple1) -> (rule6 % int1))
The cat is not red.
("cat" "is" "red" "-")
int1
The cat is red.
False
2
inv-proof
[(((triple1) -> rule6))]
("cat" "is" "red" "+")
((triple1) -> (rule6 % int1))
The cat is not red.
("cat" "is" "red" "-")
int1
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
The cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The cat is not rough.[(triple1)] @1: The cat is not red.[(((triple1) -> rule6))]
The cat is not rough.
("cat" "is" "rough" "-")
triple1
The cat is not red.
("cat" "is" "red" "-")
((triple1) -> (rule6 % int1))
The cat is not red.
("cat" "is" "red" "-")
int1