The cow is big. The cow is nice. The cow is rough. If someone is rough then they are green. All big people are rough. Rough, nice people are big.
The cow is big.
("cow" "is" "big" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
If someone is rough then they are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
All big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Rough, nice people are big.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
The cow is nice.
True
1
proof
[(triple2)]
("cow" "is" "nice" "+")
triple2
The cow is not nice.
False
1
inv-proof
[(triple2)]
("cow" "is" "nice" "-")
triple2
The cow is green.
True
2
proof
[(((triple3) -> rule1) OR ((((triple1) -> rule2)) -> rule1))]
("cow" "is" "green" "+")
((triple3) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is not green.
False
2
inv-proof
[(((triple3) -> rule1) OR ((((triple1) -> rule2)) -> rule1))]
("cow" "is" "green" "-")
((triple3) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
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 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 triple2) -> rule3))] The cow is nice.[(triple2)] The cow is rough.[(triple3 OR ((triple1) -> rule2))] @1: The cow is green.[(((triple3) -> rule1) OR ((((triple1) -> rule2)) -> rule1))]
The cow is big.
("cow" "is" "big" "+")
triple1
((triple3 triple2) -> (rule3 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
triple3
((triple1) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is green.
("cow" "is" "green" "+")
((triple3) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2