The cow is big. Round people are young. If someone is kind then they are big. Big, young people are nice. Kind, young people are nice. Kind, big people are round. If someone is big then they are round. If someone is young then they are not kind. If the cow is young then the cow is big.
The cow is big.
("cow" "is" "big" "+")
Round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Big, young people are nice.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Kind, young people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Kind, big people are round.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is young then they are not kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "-"))
If the cow is young then the cow is big.
((("cow" "is" "young" "+")) -> ("cow" "is" "big" "+"))
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 round.
True
2
proof
[(((triple1) -> rule6))]
("cow" "is" "round" "+")
((triple1) -> (rule6 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is not round.
False
2
inv-proof
[(((triple1) -> rule6))]
("cow" "is" "round" "-")
((triple1) -> (rule6 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is young.
True
3
proof
[(((((triple1) -> rule6)) -> rule1))]
("cow" "is" "young" "+")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is not young.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule1))]
("cow" "is" "young" "-")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is nice.
True
5
proof
[(((triple1 ((((triple1) -> rule6)) -> rule1)) -> rule3))]
("cow" "is" "nice" "+")
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is not nice.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule6)) -> rule1)) -> rule3))]
("cow" "is" "nice" "-")
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is round.
("cow" "is" "round" "+")
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 sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The cow is big.[(triple1)] @1: The cow is round.[(((triple1) -> rule6))] @2: The cow is young.[(((((triple1) -> rule6)) -> rule1))] @3: The cow is nice.[(((triple1 ((((triple1) -> rule6)) -> rule1)) -> rule3))] The cow is not kind.[(((((((triple1) -> rule6)) -> rule1)) -> rule7))]
The cow is big.
("cow" "is" "big" "+")
triple1
The cow is round.
("cow" "is" "round" "+")
((triple1) -> (rule6 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is not kind.
("cow" "is" "kind" "-")
((((((triple1) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow is not kind.
("cow" "is" "kind" "-")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3