The cow is not kind. The cow is red. The cow is round. If something is round and red then it is rough. If something is kind and not red then it is not big.
The cow is not kind.
("cow" "is" "kind" "-")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
If something is round and red then it is rough.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If something is kind and not red then it is not big.
((("something" "is" "kind" "+") ("something" "is" "red" "~")) -> ("something" "is" "big" "-"))
The cow is not kind.
True
1
proof
[(triple1)]
("cow" "is" "kind" "-")
triple1
The cow is kind.
False
1
inv-proof
[(triple1)]
("cow" "is" "kind" "+")
triple1
The cow is rough.
True
3
proof
[(((triple3 triple2) -> rule1))]
("cow" "is" "rough" "+")
((triple3 triple2) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is not rough.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("cow" "is" "rough" "-")
((triple3 triple2) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The cow is not big.
Unknown
inv-random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The cow is not kind.[(triple1)] The cow is red.[(triple2)] The cow is round.[(triple3)] @1: The cow is rough.[(((triple3 triple2) -> rule1))]
The cow is not kind.
("cow" "is" "kind" "-")
triple1
The cow is red.
("cow" "is" "red" "+")
triple2
The cow is round.
("cow" "is" "round" "+")
triple3
The cow is rough.
("cow" "is" "rough" "+")
((triple3 triple2) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1