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