The cow is red. The cow is rough. The cow is round. All kind, rough people are round. If the cow is round and the cow is kind then the cow is big. Kind, red people are round. Red people are big. If someone is red and rough then they are round. If someone is red and round then they are rough. If someone is round and big then they are kind. If someone is round and kind then they are big.
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
All kind, rough people are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If the cow is round and the cow is kind then the cow is big.
((("cow" "is" "round" "+") ("cow" "is" "kind" "+")) -> ("cow" "is" "big" "+"))
Kind, red people are round.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is red and rough then they are round.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is red and round then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and big then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and kind then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
The cow is round.
True
1
proof
[(triple3 OR ((triple1 triple2) -> rule5))]
("cow" "is" "round" "+")
triple3
((triple1 triple2) -> (rule5 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is not red.
False
1
inv-proof
[(triple1)]
("cow" "is" "red" "-")
triple1
The cow is big.
True
2
proof
[(((triple1) -> rule4))]
("cow" "is" "big" "+")
((triple1) -> (rule4 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is not big.
False
2
inv-proof
[(((triple1) -> rule4))]
("cow" "is" "big" "-")
((triple1) -> (rule4 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is kind.
True
4
proof
[(((triple3 ((triple1) -> rule4)) -> rule7) OR ((((triple1 triple2) -> rule5) ((triple1) -> rule4)) -> rule7))]
("cow" "is" "kind" "+")
((triple3 ((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple1 triple2) -> (rule5 % int3)) ((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is not kind.
False
4
inv-proof
[(((triple3 ((triple1) -> rule4)) -> rule7) OR ((((triple1 triple2) -> rule5) ((triple1) -> rule4)) -> rule7))]
("cow" "is" "kind" "-")
((triple3 ((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple1 triple2) -> (rule5 % int3)) ((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "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 red.[(triple1)] The cow is rough.[(triple2 OR ((triple1 triple3) -> rule6))] The cow is round.[(triple3 OR ((triple1 triple2) -> rule5))] @1: The cow is big.[(((triple1) -> rule4))] @2: The cow is kind.[(((triple3 ((triple1) -> rule4)) -> rule7) OR ((((triple1 triple2) -> rule5) ((triple1) -> rule4)) -> rule7))]
The cow is red.
("cow" "is" "red" "+")
triple1
The cow is rough.
("cow" "is" "rough" "+")
triple2
((triple1 triple3) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
triple3
((triple1 triple2) -> (rule5 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is big.
("cow" "is" "big" "+")
((triple1) -> (rule4 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
((triple3 ((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple1 triple2) -> (rule5 % int3)) ((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3