The cow is young. All cold things are green. If something is young then it is cold. If something is big and young then it is cold.
The cow is young.
("cow" "is" "young" "+")
All cold things are green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If something is young then it is cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
If something is big and young then it is cold.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
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)) -> rule1))]
("cow" "is" "green" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % 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)) -> rule1))]
("cow" "is" "green" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
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 is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The cow is young.[(triple1)] @1: The cow is cold.[(((triple1) -> rule2))] @2: The cow is green.[(((((triple1) -> rule2)) -> rule1))]
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))) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2