The cat is kind. All round, kind people are rough. If someone is kind then they are rough. All rough, kind people are young.
The cat is kind.
("cat" "is" "kind" "+")
All round, kind people are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind then they are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
All rough, kind people are young.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
The cat is kind.
True
1
proof
[(triple1)]
("cat" "is" "kind" "+")
triple1
The cat is not kind.
False
1
inv-proof
[(triple1)]
("cat" "is" "kind" "-")
triple1
The cat is rough.
True
2
proof
[(((triple1) -> rule2))]
("cat" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is not rough.
False
2
inv-proof
[(((triple1) -> rule2))]
("cat" "is" "rough" "-")
((triple1) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
@0: The cat is kind.[(triple1)] @1: The cat is rough.[(((triple1) -> rule2))] @2: The cat is young.[(((((triple1) -> rule2) triple1) -> rule3))]
The cat is kind.
("cat" "is" "kind" "+")
triple1
The cat is rough.
("cat" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is young.
("cat" "is" "young" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2