The cat is kind. The cat is rough. The cat is round. Cold, round people are kind. If the cat is not cold then the cat is round. If someone is cold then they are rough. All kind people are rough. If the cat is not cold then the cat is kind. Kind, round people are nice. Cold people are round. If the cat is not cold and the cat is not kind then the cat is nice.
The cat is kind.
("cat" "is" "kind" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
Cold, round people are kind.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If the cat is not cold then the cat is round.
((("cat" "is" "cold" "~")) -> ("cat" "is" "round" "+"))
If someone is cold then they are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
All kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If the cat is not cold then the cat is kind.
((("cat" "is" "cold" "~")) -> ("cat" "is" "kind" "+"))
Kind, round people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If the cat is not cold and the cat is not kind then the cat is nice.
((("cat" "is" "cold" "~") ("cat" "is" "kind" "~")) -> ("cat" "is" "nice" "+"))
The cat is round.
True
1
proof
[(triple3)]
("cat" "is" "round" "+")
triple3
The cat is not kind.
False
1
inv-proof
[(triple1)]
("cat" "is" "kind" "-")
triple1
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
@0: The cat is kind.[(triple1)] The cat is rough.[(triple2 OR ((triple1) -> rule4))] The cat is round.[(triple3)] @1: The cat is nice.[(((triple1 triple3) -> rule6))]
The cat is kind.
("cat" "is" "kind" "+")
triple1
The cat is rough.
("cat" "is" "rough" "+")
triple2
((triple1) -> (rule4 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is round.
("cat" "is" "round" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
((triple1 triple3) -> (rule6 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1