The cow is kind. The cow is nice. The cow is rough. If something is red then it is young. If something is young and rough then it is nice. Rough, nice things are red.
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
If something is red then it is young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
If something is young and rough then it is nice.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
Rough, nice things are red.
((("something" "is" "rough" "+") ("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
The cow is nice.
True
1
proof
[(triple2)]
("cow" "is" "nice" "+")
triple2
The cow is not rough.
False
1
inv-proof
[(triple3)]
("cow" "is" "rough" "-")
triple3
The cow is red.
True
3
proof
[(((triple3 triple2) -> rule3))]
("cow" "is" "red" "+")
((triple3 triple2) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is not red.
False
3
inv-proof
[(((triple3 triple2) -> rule3))]
("cow" "is" "red" "-")
((triple3 triple2) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
True
4
proof
[(((((triple3 triple2) -> rule3)) -> rule1))]
("cow" "is" "young" "+")
((((triple3 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is not young.
False
4
inv-proof
[(((((triple3 triple2) -> rule3)) -> rule1))]
("cow" "is" "young" "-")
((((triple3 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The cow is kind.[(triple1)] The cow is nice.[(triple2)] The cow is rough.[(triple3)] @1: The cow is red.[(((triple3 triple2) -> rule3))] @2: The cow is young.[(((((triple3 triple2) -> rule3)) -> rule1))]
The cow is kind.
("cow" "is" "kind" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
((triple3 triple2) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((((triple3 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2