The bear chases the cow. The bear eats the cow. The bear is nice. The bear is not red. The bear is not rough. The bear is not round. The bear is young. The bear sees the cow. The cow does not chase the bear. The cow eats the bear. The cow is nice. The cow is red. The cow is not rough. The cow is round. The cow is not young. The cow does not see the bear. If something eats the cow then it chases the bear.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is not red.
("bear" "is" "red" "-")
The bear is not rough.
("bear" "is" "rough" "-")
The bear is not round.
("bear" "is" "round" "-")
The bear is young.
("bear" "is" "young" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow does not chase the bear.
("cow" "chases" "bear" "-")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The cow is round.
("cow" "is" "round" "+")
The cow is not young.
("cow" "is" "young" "-")
The cow does not see the bear.
("cow" "sees" "bear" "-")
If something eats the cow then it chases the bear.
((("something" "eats" "cow" "+")) -> ("something" "chases" "bear" "+"))
The cow does not see the bear.
True
1
proof
[(triple16)]
("cow" "sees" "bear" "-")
triple16
The bear is rough.
False
1
inv-proof
[(triple5)]
("bear" "is" "rough" "+")
triple5
The bear chases the bear.
True
2
proof
[(((triple2) -> rule1))]
("bear" "chases" "bear" "+")
((triple2) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear does not chase the bear.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "chases" "bear" "-")
((triple2) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
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 bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
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 bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear chases the cow.[(triple1)] The bear eats the cow.[(triple2)] The bear is nice.[(triple3)] The bear is not red.[(triple4)] The bear is not rough.[(triple5)] The bear is not round.[(triple6)] The bear is young.[(triple7)] The bear sees the cow.[(triple8)] The cow does not chase the bear.[(triple9)] The cow does not see the bear.[(triple16)] The cow eats the bear.[(triple10)] The cow is nice.[(triple11)] The cow is not rough.[(triple13)] The cow is not young.[(triple15)] The cow is red.[(triple12)] The cow is round.[(triple14)] @1: The bear chases the bear.[(((triple2) -> rule1))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear eats the cow.
("bear" "eats" "cow" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is not red.
("bear" "is" "red" "-")
triple4
The bear is not rough.
("bear" "is" "rough" "-")
triple5
The bear is not round.
("bear" "is" "round" "-")
triple6
The bear is young.
("bear" "is" "young" "+")
triple7
The bear sees the cow.
("bear" "sees" "cow" "+")
triple8
The cow does not chase the bear.
("cow" "chases" "bear" "-")
triple9
The cow does not see the bear.
("cow" "sees" "bear" "-")
triple16
The cow eats the bear.
("cow" "eats" "bear" "+")
triple10
The cow is nice.
("cow" "is" "nice" "+")
triple11
The cow is not rough.
("cow" "is" "rough" "-")
triple13
The cow is not young.
("cow" "is" "young" "-")
triple15
The cow is red.
("cow" "is" "red" "+")
triple12
The cow is round.
("cow" "is" "round" "+")
triple14
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple2) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1