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