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