The cow is not cold. The cow is kind. The cow is nice. The cow is rough. The cow is not round. If someone is nice and not cold then they are not round.
The cow is not cold.
("cow" "is" "cold" "-")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is not round.
("cow" "is" "round" "-")
If someone is nice and not cold then they are not round.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "round" "-"))
The cow is kind.
True
1
proof
[(triple2)]
("cow" "is" "kind" "+")
triple2
The cow is not nice.
False
1
inv-proof
[(triple3)]
("cow" "is" "nice" "-")
triple3
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 eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow is not cold.[(triple1)] The cow is not round.[(triple5 OR ((triple3 triple1) -> rule1))] The cow is rough.[(triple4)]
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow is not cold.
("cow" "is" "cold" "-")
triple1
The cow is not round.
("cow" "is" "round" "-")
triple5
((triple3 triple1) -> (rule1 % int1))
The cow is not round.
("cow" "is" "round" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
triple4