The cow is big. The cow is red. The cow is round. All big people are round. Red people are nice. If the cow is nice and the cow is red then the cow is kind.
The cow is big.
("cow" "is" "big" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
All big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Red people are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If the cow is nice and the cow is red then the cow is kind.
((("cow" "is" "nice" "+") ("cow" "is" "red" "+")) -> ("cow" "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 nice.
True
2
proof
[(((triple2) -> rule2))]
("cow" "is" "nice" "+")
((triple2) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is not nice.
False
2
inv-proof
[(((triple2) -> rule2))]
("cow" "is" "nice" "-")
((triple2) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is kind.
True
4
proof
[(((((triple2) -> rule2) triple2) -> rule3))]
("cow" "is" "kind" "+")
((((triple2) -> (rule2 % int2)) triple2) -> (rule3 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The cow is not kind.
False
4
inv-proof
[(((((triple2) -> rule2) triple2) -> rule3))]
("cow" "is" "kind" "-")
((((triple2) -> (rule2 % int2)) triple2) -> (rule3 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
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 likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The cow is big.[(triple1)] The cow is red.[(triple2)] The cow is round.[(triple3 OR ((triple1) -> rule1))] @1: The cow is nice.[(((triple2) -> rule2))] @2: The cow is kind.[(((((triple2) -> rule2) triple2) -> rule3))]
The cow is big.
("cow" "is" "big" "+")
triple1
The cow is red.
("cow" "is" "red" "+")
triple2
The cow is round.
("cow" "is" "round" "+")
triple3
((triple1) -> (rule1 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
((triple2) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
((((triple2) -> (rule2 % int2)) triple2) -> (rule3 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2