The cow is green. The cow is kind. The cow is red. The cow is round. The cow is young. If the cow is young then the cow is green. Round, red people are green.
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
If the cow is young then the cow is green.
((("cow" "is" "young" "+")) -> ("cow" "is" "green" "+"))
Round, red people are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
The cow is round.
True
1
proof
[(triple4)]
("cow" "is" "round" "+")
triple4
The cow is not young.
False
1
inv-proof
[(triple5)]
("cow" "is" "young" "-")
triple5
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 green.[(triple1 OR ((triple5) -> rule1) OR ((triple4 triple3) -> rule2))] The cow is kind.[(triple2)] The cow is red.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)]
The cow is green.
("cow" "is" "green" "+")
triple1
((triple5) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
((triple4 triple3) -> (rule2 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5