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