The cow is big. The cow is green. The cow is kind. The cow is rough. The cow is round. All green things are kind. If something is kind and round then it is big. If something is kind then it is green.
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 green things are kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If something is kind and round then it is big.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
If something is kind then it is green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
The cow is round.
True
1
proof
[(triple5)]
("cow" "is" "round" "+")
triple5
The cow is not green.
False
1
inv-proof
[(triple2 OR ((triple3) -> rule3))]
("cow" "is" "green" "-")
triple2
((triple3) -> (rule3 % int1))
The cow is green.
("cow" "is" "green" "+")
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 needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The cow is big.[(triple1 OR ((triple3 triple5) -> rule2) OR ((((triple2) -> rule1) triple5) -> rule2))] The cow is green.[(triple2 OR ((triple3) -> rule3))] The cow is kind.[(triple3 OR ((triple2) -> rule1))] The cow is rough.[(triple4)] The cow is round.[(triple5)]
The cow is big.
("cow" "is" "big" "+")
triple1
((triple3 triple5) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((((triple2) -> (rule1 % int2)) triple5) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is green.
("cow" "is" "green" "+")
triple2
((triple3) -> (rule3 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
triple3
((triple2) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5