The cat is big. The cat is green. The cat is red. If the cat is not red then the cat is green. Big people are nice. All cold, red people are nice. Cold people are green. If someone is red and big then they are cold. If someone is nice and not red then they are not cold.
The cat is big.
("cat" "is" "big" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
If the cat is not red then the cat is green.
((("cat" "is" "red" "~")) -> ("cat" "is" "green" "+"))
Big people are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
All cold, red people are nice.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Cold people are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is red and big then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and not red then they are not cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "cold" "-"))
The cat is green.
True
1
proof
[(triple2 OR ((((triple3 triple1) -> rule5)) -> rule4))]
("cat" "is" "green" "+")
triple2
((((triple3 triple1) -> (rule5 % int2))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat is not green.
False
1
inv-proof
[(triple2 OR ((((triple3 triple1) -> rule5)) -> rule4))]
("cat" "is" "green" "-")
triple2
((((triple3 triple1) -> (rule5 % int2))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
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" "+")
@0: The cat is big.[(triple1)] The cat is green.[(triple2 OR ((((triple3 triple1) -> rule5)) -> rule4))] The cat is red.[(triple3)] @1: The cat is cold.[(((triple3 triple1) -> rule5))] The cat is nice.[(((triple1) -> rule2) OR ((((triple3 triple1) -> rule5) triple3) -> rule3))]
The cat is big.
("cat" "is" "big" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
((((triple3 triple1) -> (rule5 % int2))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
((triple3 triple1) -> (rule5 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
((triple1) -> (rule2 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
((((triple3 triple1) -> (rule5 % int2)) triple3) -> (rule3 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2