The cow is big. The cow is green. The cow is kind. The cow is nice. The cow is rough. All kind, rough things are big. Green things are kind. If the cow is green then the cow is rough.
The cow is big.
("cow" "is" "big" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
All kind, rough things are big.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
Green things are kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If the cow is green then the cow is rough.
((("cow" "is" "green" "+")) -> ("cow" "is" "rough" "+"))
The cow is green.
True
1
proof
[(triple2)]
("cow" "is" "green" "+")
triple2
The cow is not rough.
False
1
inv-proof
[(triple5 OR ((triple2) -> rule3))]
("cow" "is" "rough" "-")
triple5
((triple2) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "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 big.[(triple1 OR ((triple3 triple5) -> rule1) OR ((triple3 ((triple2) -> rule3)) -> rule1) OR ((((triple2) -> rule2) triple5) -> rule1) OR ((((triple2) -> rule2) ((triple2) -> rule3)) -> rule1))] The cow is green.[(triple2)] The cow is kind.[(triple3 OR ((triple2) -> rule2))] The cow is nice.[(triple4)] The cow is rough.[(triple5 OR ((triple2) -> rule3))]
The cow is big.
("cow" "is" "big" "+")
triple1
((triple3 triple5) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((triple3 ((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
((((triple2) -> (rule2 % int2)) triple5) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
((((triple2) -> (rule2 % int3)) ((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is green.
("cow" "is" "green" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
((triple2) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
((triple2) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1