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