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