The cow is big. The cow is kind. The cow is round. If someone is big then they are rough. All rough, kind people are young. If someone is big then they are kind.
The cow is big.
("cow" "is" "big" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is round.
("cow" "is" "round" "+")
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
All rough, kind people are young.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is big then they are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
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 rough.
True
2
proof
[(((triple1) -> rule1))]
("cow" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is not rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("cow" "is" "rough" "-")
((triple1) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is young.
True
4
proof
[(((((triple1) -> rule1) triple2) -> rule2) OR ((((triple1) -> rule1) ((triple1) -> rule3)) -> rule2))]
("cow" "is" "young" "+")
((((triple1) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
((((triple1) -> (rule1 % int3)) ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The cow is not young.
False
4
inv-proof
[(((((triple1) -> rule1) triple2) -> rule2) OR ((((triple1) -> rule1) ((triple1) -> rule3)) -> rule2))]
("cow" "is" "young" "-")
((((triple1) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
((((triple1) -> (rule1 % int3)) ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
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 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)] The cow is kind.[(triple2 OR ((triple1) -> rule3))] The cow is round.[(triple3)] @1: The cow is rough.[(((triple1) -> rule1))] @2: The cow is young.[(((((triple1) -> rule1) triple2) -> rule2) OR ((((triple1) -> rule1) ((triple1) -> rule3)) -> rule2))]
The cow is big.
("cow" "is" "big" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
((triple1) -> (rule3 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is round.
("cow" "is" "round" "+")
triple3
The cow is rough.
("cow" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((((triple1) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
((((triple1) -> (rule1 % int3)) ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3