The cow is big. Red things are nice. Big things are red. All blue, red things are big. Big, nice things are blue. All blue things are cold. If something is cold then it is blue.
The cow is big.
("cow" "is" "big" "+")
Red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
Big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
All blue, red things are big.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
Big, nice things are blue.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
All blue things are cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If something is cold then it is blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
The cow is big.
True
1
proof
[(triple1)]
("cow" "is" "big" "+")
triple1
The cow is not big.
False
1
inv-proof
[(triple1)]
("cow" "is" "big" "-")
triple1
The cow is red.
True
2
proof
[(((triple1) -> rule2))]
("cow" "is" "red" "+")
((triple1) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is not red.
False
2
inv-proof
[(((triple1) -> rule2))]
("cow" "is" "red" "-")
((triple1) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is nice.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("cow" "is" "nice" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is not nice.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("cow" "is" "nice" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is blue.
True
5
proof
[(((triple1 ((((triple1) -> rule2)) -> rule1)) -> rule4))]
("cow" "is" "blue" "+")
((triple1 ((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow is not blue.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule2)) -> rule1)) -> rule4))]
("cow" "is" "blue" "-")
((triple1 ((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The cow is big.[(triple1)] @1: The cow is red.[(((triple1) -> rule2))] @2: The cow is nice.[(((((triple1) -> rule2)) -> rule1))] @3: The cow is blue.[(((triple1 ((((triple1) -> rule2)) -> rule1)) -> rule4))] @4: The cow is cold.[(((((triple1 ((((triple1) -> rule2)) -> rule1)) -> rule4)) -> rule5))]
The cow is big.
("cow" "is" "big" "+")
triple1
The cow is red.
("cow" "is" "red" "+")
((triple1) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
((triple1 ((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
((((triple1 ((((triple1) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
int3
The cow is red.
("cow" "is" "red" "+")
int4