The cow is blue. The cow is red. The cow is rough. If the cow is rough then the cow is round. If something is big then it is red.
The cow is blue.
("cow" "is" "blue" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
If the cow is rough then the cow is round.
((("cow" "is" "rough" "+")) -> ("cow" "is" "round" "+"))
If something is big then it is red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
The cow is red.
True
1
proof
[(triple2)]
("cow" "is" "red" "+")
triple2
The cow is not rough.
False
1
inv-proof
[(triple3)]
("cow" "is" "rough" "-")
triple3
The cow is not big.
Unknown
inv-random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "-")
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 blue.[(triple1)] The cow is red.[(triple2)] The cow is rough.[(triple3)] @1: The cow is round.[(((triple3) -> rule1))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is red.
("cow" "is" "red" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
triple3
The cow is round.
("cow" "is" "round" "+")
((triple3) -> (rule1 % int1))
The cow is round.
("cow" "is" "round" "+")
int1