The cow is young. All green, cold people are young. If someone is young then they are cold. If someone is green then they are red. All cold people are green. If the cow is green then the cow is cold. All cold, young people are green.
The cow is young.
("cow" "is" "young" "+")
All green, cold people are young.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is young then they are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is green then they are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
All cold people are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If the cow is green then the cow is cold.
((("cow" "is" "green" "+")) -> ("cow" "is" "cold" "+"))
All cold, young people are green.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
The cow is young.
True
1
proof
[(triple1)]
("cow" "is" "young" "+")
triple1
The cow is not young.
False
1
inv-proof
[(triple1)]
("cow" "is" "young" "-")
triple1
The cow is cold.
True
2
proof
[(((triple1) -> rule2))]
("cow" "is" "cold" "+")
((triple1) -> (rule2 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is not cold.
False
2
inv-proof
[(((triple1) -> rule2))]
("cow" "is" "cold" "-")
((triple1) -> (rule2 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is green.
True
3
proof
[(((((triple1) -> rule2)) -> rule4) OR ((((triple1) -> rule2) triple1) -> rule6))]
("cow" "is" "green" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
((((triple1) -> (rule2 % int2)) triple1) -> (rule6 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is not green.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule4) OR ((((triple1) -> rule2) triple1) -> rule6))]
("cow" "is" "green" "-")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
((((triple1) -> (rule2 % int2)) triple1) -> (rule6 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is red.
True
4
proof
[(((((((triple1) -> rule2)) -> rule4)) -> rule3) OR ((((((triple1) -> rule2) triple1) -> rule6)) -> rule3))]
("cow" "is" "red" "+")
((((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int2))) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is not red.
False
4
inv-proof
[(((((((triple1) -> rule2)) -> rule4)) -> rule3) OR ((((((triple1) -> rule2) triple1) -> rule6)) -> rule3))]
("cow" "is" "red" "-")
((((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int2))) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is not big.
Unknown
inv-random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
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 needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The cow is young.[(triple1)] @1: The cow is cold.[(((triple1) -> rule2))] @2: The cow is green.[(((((triple1) -> rule2)) -> rule4) OR ((((triple1) -> rule2) triple1) -> rule6))] @3: The cow is red.[(((((((triple1) -> rule2)) -> rule4)) -> rule3) OR ((((((triple1) -> rule2) triple1) -> rule6)) -> rule3))]
The cow is young.
("cow" "is" "young" "+")
triple1
The cow is cold.
("cow" "is" "cold" "+")
((triple1) -> (rule2 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is green.
("cow" "is" "green" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
((((triple1) -> (rule2 % int2)) triple1) -> (rule6 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is red.
("cow" "is" "red" "+")
((((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int2))) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3