The cow is green. The cow is kind. The cow is nice. Nice, kind things are red. Red, kind things are young.
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
Nice, kind things are red.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
Red, kind things are young.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
The cow is nice.
True
1
proof
[(triple3)]
("cow" "is" "nice" "+")
triple3
The cow is not nice.
False
1
inv-proof
[(triple3)]
("cow" "is" "nice" "-")
triple3
The cow is red.
True
3
proof
[(((triple3 triple2) -> rule1))]
("cow" "is" "red" "+")
((triple3 triple2) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is not red.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("cow" "is" "red" "-")
((triple3 triple2) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "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 green.[(triple1)] The cow is kind.[(triple2)] The cow is nice.[(triple3)] @1: The cow is red.[(((triple3 triple2) -> rule1))] @2: The cow is young.[(((((triple3 triple2) -> rule1) triple2) -> rule2))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
((triple3 triple2) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((((triple3 triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2