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