The cat is round. All big, rough people are kind. All red people are kind. If the cat is round then the cat is red.
The cat is round.
("cat" "is" "round" "+")
All big, rough people are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
All red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If the cat is round then the cat is red.
((("cat" "is" "round" "+")) -> ("cat" "is" "red" "+"))
The cat is round.
True
1
proof
[(triple1)]
("cat" "is" "round" "+")
triple1
The cat is not round.
False
1
inv-proof
[(triple1)]
("cat" "is" "round" "-")
triple1
The cat is red.
True
2
proof
[(((triple1) -> rule3))]
("cat" "is" "red" "+")
((triple1) -> (rule3 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is not red.
False
2
inv-proof
[(((triple1) -> rule3))]
("cat" "is" "red" "-")
((triple1) -> (rule3 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is kind.
True
3
proof
[(((((triple1) -> rule3)) -> rule2))]
("cat" "is" "kind" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is not kind.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule2))]
("cat" "is" "kind" "-")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
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 chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
@0: The cat is round.[(triple1)] @1: The cat is red.[(((triple1) -> rule3))] @2: The cat is kind.[(((((triple1) -> rule3)) -> rule2))]
The cat is round.
("cat" "is" "round" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
((triple1) -> (rule3 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2