The cow is big. The cow is blue. The cow is kind. The cow is red. The cow is round. All blue, red things are round.
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
All blue, red things are round.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
The cow is red.
True
1
proof
[(triple4)]
("cow" "is" "red" "+")
triple4
The cow is not red.
False
1
inv-proof
[(triple4)]
("cow" "is" "red" "-")
triple4
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 visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The cow is big.[(triple1)] The cow is blue.[(triple2)] The cow is kind.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5 OR ((triple2 triple4) -> rule1))]
The cow is big.
("cow" "is" "big" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
((triple2 triple4) -> (rule1 % int1))
The cow is round.
("cow" "is" "round" "+")
int1