The cow is cold. The cow is nice. The cow is young. Kind people are cold. Cold, nice people are young. Kind, cold people are young. If someone is young and rough then they are nice. If someone is rough then they are nice. If someone is young and nice then they are rough. If someone is cold and kind then they are nice. Kind people are rough.
The cow is cold.
("cow" "is" "cold" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is young.
("cow" "is" "young" "+")
Kind people are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Cold, nice people are young.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Kind, cold people are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is young and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and nice then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
The cow is nice.
True
1
proof
[(triple2)]
("cow" "is" "nice" "+")
triple2
The cow is not nice.
False
1
inv-proof
[(triple2)]
("cow" "is" "nice" "-")
triple2
The cow is rough.
True
3
proof
[(((triple3 triple2) -> rule6) OR ((((triple1 triple2) -> rule2) triple2) -> rule6))]
("cow" "is" "rough" "+")
((triple3 triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((((triple1 triple2) -> (rule2 % int2)) triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is not rough.
False
3
inv-proof
[(((triple3 triple2) -> rule6) OR ((((triple1 triple2) -> rule2) triple2) -> rule6))]
("cow" "is" "rough" "-")
((triple3 triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((((triple1 triple2) -> (rule2 % int2)) triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is not kind.
Unknown
inv-random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "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 cold.[(triple1)] The cow is nice.[(triple2)] The cow is young.[(triple3 OR ((triple1 triple2) -> rule2))] @1: The cow is rough.[(((triple3 triple2) -> rule6) OR ((((triple1 triple2) -> rule2) triple2) -> rule6))]
The cow is cold.
("cow" "is" "cold" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is young.
("cow" "is" "young" "+")
triple3
((triple1 triple2) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
((triple3 triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((((triple1 triple2) -> (rule2 % int2)) triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2