The cat is big. The cat is green. The cat is rough. If someone is rough then they are kind. Big, kind people are nice.
The cat is big.
("cat" "is" "big" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is rough.
("cat" "is" "rough" "+")
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Big, kind people are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
The cat is big.
True
1
proof
[(triple1)]
("cat" "is" "big" "+")
triple1
The cat is not big.
False
1
inv-proof
[(triple1)]
("cat" "is" "big" "-")
triple1
The cat is kind.
True
2
proof
[(((triple3) -> rule1))]
("cat" "is" "kind" "+")
((triple3) -> (rule1 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is not kind.
False
2
inv-proof
[(((triple3) -> rule1))]
("cat" "is" "kind" "-")
((triple3) -> (rule1 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is nice.
True
4
proof
[(((triple1 ((triple3) -> rule1)) -> rule2))]
("cat" "is" "nice" "+")
((triple1 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is not nice.
False
4
inv-proof
[(((triple1 ((triple3) -> rule1)) -> rule2))]
("cat" "is" "nice" "-")
((triple1 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
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 sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The cat is big.[(triple1)] The cat is green.[(triple2)] The cat is rough.[(triple3)] @1: The cat is kind.[(((triple3) -> rule1))] @2: The cat is nice.[(((triple1 ((triple3) -> rule1)) -> rule2))]
The cat is big.
("cat" "is" "big" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cat is kind.
("cat" "is" "kind" "+")
((triple3) -> (rule1 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
((triple1 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2