The cat is kind. If someone is cold and red then they are green. If someone is red and green then they are kind. If the cat is big and the cat is kind then the cat is red. Kind people are red. If someone is kind and red then they are green. If the cat is big and the cat is kind then the cat is red. If someone is cold and green then they are kind. All kind, red people are big.
The cat is kind.
("cat" "is" "kind" "+")
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is red and green then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If the cat is big and the cat is kind then the cat is red.
((("cat" "is" "big" "+") ("cat" "is" "kind" "+")) -> ("cat" "is" "red" "+"))
Kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and red then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If the cat is big and the cat is kind then the cat is red.
((("cat" "is" "big" "+") ("cat" "is" "kind" "+")) -> ("cat" "is" "red" "+"))
If someone is cold and green then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
All kind, red people are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
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 red.
True
2
proof
[(((triple1) -> rule4))]
("cat" "is" "red" "+")
((triple1) -> (rule4 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is not red.
False
2
inv-proof
[(((triple1) -> rule4))]
("cat" "is" "red" "-")
((triple1) -> (rule4 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is big.
True
4
proof
[(((triple1 ((triple1) -> rule4)) -> rule8))]
("cat" "is" "big" "+")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule8 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is not green.
False
4
inv-proof
[(((triple1 ((triple1) -> rule4)) -> rule5))]
("cat" "is" "green" "-")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The cat is green.
("cat" "is" "green" "+")
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 is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The cat is kind.[(triple1)] @1: The cat is red.[(((triple1) -> rule4))] @2: The cat is big.[(((triple1 ((triple1) -> rule4)) -> rule8))] The cat is green.[(((triple1 ((triple1) -> rule4)) -> rule5))]
The cat is kind.
("cat" "is" "kind" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
((triple1) -> (rule4 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is big.
("cat" "is" "big" "+")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule8 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is green.
("cat" "is" "green" "+")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2