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