The cow is big. The cow is not green. The cow is nice. The cow is red. The cow is rough. If the cow is nice then the cow is big. If the cow is green and the cow is not rough then the cow is big. If something is green and not rough then it is big. If something is green and not rough then it is not big. If the cow is rough and the cow is green then the cow is red. All nice, rough things are red.
The cow is big.
("cow" "is" "big" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
If the cow is nice then the cow is big.
((("cow" "is" "nice" "+")) -> ("cow" "is" "big" "+"))
If the cow is green and the cow is not rough then the cow is big.
((("cow" "is" "green" "+") ("cow" "is" "rough" "~")) -> ("cow" "is" "big" "+"))
If something is green and not rough then it is big.
((("something" "is" "green" "+") ("something" "is" "rough" "~")) -> ("something" "is" "big" "+"))
If something is green and not rough then it is not big.
((("something" "is" "green" "+") ("something" "is" "rough" "~")) -> ("something" "is" "big" "-"))
If the cow is rough and the cow is green then the cow is red.
((("cow" "is" "rough" "+") ("cow" "is" "green" "+")) -> ("cow" "is" "red" "+"))
All nice, rough things are red.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
The cow is nice.
True
1
proof
[(triple3)]
("cow" "is" "nice" "+")
triple3
The cow is not big.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule1))]
("cow" "is" "big" "-")
triple1
((triple3) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The cow is big.[(triple1 OR ((triple3) -> rule1))] The cow is nice.[(triple3)] The cow is not green.[(triple2)] The cow is red.[(triple4 OR ((triple3 triple5) -> rule6))] The cow is rough.[(triple5)]
The cow is big.
("cow" "is" "big" "+")
triple1
((triple3) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow is not green.
("cow" "is" "green" "-")
triple2
The cow is red.
("cow" "is" "red" "+")
triple4
((triple3 triple5) -> (rule6 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
triple5