The cat is cold. The cat is not kind. The cat is red. The cat is rough. The cat is not young. All cold, young people are rough. All cold, red people are rough. If someone is kind then they are not red. All kind people are not cold. If someone is kind then they are not cold. All young, rough people are kind.
The cat is cold.
("cat" "is" "cold" "+")
The cat is not kind.
("cat" "is" "kind" "-")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is not young.
("cat" "is" "young" "-")
All cold, young people are rough.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
All cold, red people are rough.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind then they are not red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "-"))
All kind people are not cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "-"))
If someone is kind then they are not cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "-"))
All young, rough people are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
The cat is cold.
True
1
proof
[(triple1)]
("cat" "is" "cold" "+")
triple1
The cat is young.
False
1
inv-proof
[(triple5)]
("cat" "is" "young" "+")
triple5
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The cat is cold.[(triple1)] The cat is not kind.[(triple2)] The cat is not young.[(triple5)] The cat is red.[(triple3)] The cat is rough.[(triple4 OR ((triple1 triple3) -> rule2))]
The cat is cold.
("cat" "is" "cold" "+")
triple1
The cat is not kind.
("cat" "is" "kind" "-")
triple2
The cat is not young.
("cat" "is" "young" "-")
triple5
The cat is red.
("cat" "is" "red" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
((triple1 triple3) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1