The cow is blue. The cow is cold. The cow is kind. The cow is red. The cow is rough. If something is cold and rough then it is red.
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
If something is cold and rough then it is red.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
The cow is kind.
True
1
proof
[(triple3)]
("cow" "is" "kind" "+")
triple3
The cow is not cold.
False
1
inv-proof
[(triple2)]
("cow" "is" "cold" "-")
triple2
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The cow is blue.[(triple1)] The cow is cold.[(triple2)] The cow is kind.[(triple3)] The cow is red.[(triple4 OR ((triple2 triple5) -> rule1))] The cow is rough.[(triple5)]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is cold.
("cow" "is" "cold" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
((triple2 triple5) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
triple5