The cow is big. The cow is green. The cow is kind. The cow is rough. The cow is round. All kind, green people are round. If the cow is big then the cow is rough.
The cow is big.
("cow" "is" "big" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
All kind, green people are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If the cow is big then the cow is rough.
((("cow" "is" "big" "+")) -> ("cow" "is" "rough" "+"))
The cow is rough.
True
1
proof
[(triple4 OR ((triple1) -> rule2))]
("cow" "is" "rough" "+")
triple4
((triple1) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is not round.
False
1
inv-proof
[(triple5 OR ((triple3 triple2) -> rule1))]
("cow" "is" "round" "-")
triple5
((triple3 triple2) -> (rule1 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The cow is big.[(triple1)] The cow is green.[(triple2)] The cow is kind.[(triple3)] The cow is rough.[(triple4 OR ((triple1) -> rule2))] The cow is round.[(triple5 OR ((triple3 triple2) -> rule1))]
The cow is big.
("cow" "is" "big" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is rough.
("cow" "is" "rough" "+")
triple4
((triple1) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
triple5
((triple3 triple2) -> (rule1 % int1))
The cow is round.
("cow" "is" "round" "+")
int1