The cat is not cold. The cat is kind. The cat is not nice. The cat is not rough. The cat is not young. Kind, nice people are rough. If someone is young then they are kind. Young, rough people are not kind. Cold people are nice. All nice people are young. Young people are cold.
The cat is not cold.
("cat" "is" "cold" "-")
The cat is kind.
("cat" "is" "kind" "+")
The cat is not nice.
("cat" "is" "nice" "-")
The cat is not rough.
("cat" "is" "rough" "-")
The cat is not young.
("cat" "is" "young" "-")
Kind, nice people are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is young then they are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Young, rough people are not kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "-"))
Cold people are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
All nice people are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Young people are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
The cat is not rough.
True
1
proof
[(triple4)]
("cat" "is" "rough" "-")
triple4
The cat is rough.
False
1
inv-proof
[(triple4)]
("cat" "is" "rough" "+")
triple4
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 kind.[(triple2)] The cat is not cold.[(triple1)] The cat is not nice.[(triple3)] The cat is not rough.[(triple4)] The cat is not young.[(triple5)]
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat is not cold.
("cat" "is" "cold" "-")
triple1
The cat is not nice.
("cat" "is" "nice" "-")
triple3
The cat is not rough.
("cat" "is" "rough" "-")
triple4
The cat is not young.
("cat" "is" "young" "-")
triple5