The cow is cold. Young things are nice. Cold things are nice. Young things are red. Nice, red things are green. All young, green things are cold. Green, nice things are red. Green things are young. All cold, nice things are young.
The cow is cold.
("cow" "is" "cold" "+")
Young things are nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
Cold things are nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
Young things are red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Nice, red things are green.
((("something" "is" "nice" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
All young, green things are cold.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
Green, nice things are red.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
Green things are young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
All cold, nice things are young.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
The cow is cold.
True
1
proof
[(triple1)]
("cow" "is" "cold" "+")
triple1
The cow is not cold.
False
1
inv-proof
[(triple1)]
("cow" "is" "cold" "-")
triple1
The cow is nice.
True
2
proof
[(((triple1) -> rule2))]
("cow" "is" "nice" "+")
((triple1) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is not nice.
False
2
inv-proof
[(((triple1) -> rule2))]
("cow" "is" "nice" "-")
((triple1) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is young.
True
4
proof
[(((triple1 ((triple1) -> rule2)) -> rule8))]
("cow" "is" "young" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule8 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The cow is not young.
False
4
inv-proof
[(((triple1 ((triple1) -> rule2)) -> rule8))]
("cow" "is" "young" "-")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule8 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The cow is red.
True
5
proof
[(((((triple1 ((triple1) -> rule2)) -> rule8)) -> rule3))]
("cow" "is" "red" "+")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
int3
The cow is not red.
False
5
inv-proof
[(((((triple1 ((triple1) -> rule2)) -> rule8)) -> rule3))]
("cow" "is" "red" "-")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
int3
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 cold.[(triple1)] @1: The cow is nice.[(((triple1) -> rule2))] @2: The cow is young.[(((triple1 ((triple1) -> rule2)) -> rule8))] @3: The cow is red.[(((((triple1 ((triple1) -> rule2)) -> rule8)) -> rule3))] @4: The cow is green.[(((((triple1) -> rule2) ((((triple1 ((triple1) -> rule2)) -> rule8)) -> rule3)) -> rule4))]
The cow is cold.
("cow" "is" "cold" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
((triple1) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule8 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The cow is red.
("cow" "is" "red" "+")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
int3
The cow is green.
("cow" "is" "green" "+")
((((triple1) -> (rule2 % int4)) ((((triple1 ((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The cow is nice.
("cow" "is" "nice" "+")
int4