The bear eats the cow. The bear is blue. The bear is kind. The bear is nice. The bear is rough. The bear is not round. The bear likes the cow. The bear sees the cow. The cow eats the bear. The cow is blue. The cow is kind. The cow is nice. The cow is rough. The cow is round. The cow likes the bear. The cow sees the bear. If someone is nice then they see the cow.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is not round.
("bear" "is" "round" "-")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
If someone is nice then they see the cow.
((("someone" "is" "nice" "+")) -> ("someone" "sees" "cow" "+"))
The cow eats the bear.
True
1
proof
[(triple9)]
("cow" "eats" "bear" "+")
triple9
The bear is not blue.
False
1
inv-proof
[(triple2)]
("bear" "is" "blue" "-")
triple2
The cow sees the cow.
True
2
proof
[(((triple12) -> rule1))]
("cow" "sees" "cow" "+")
((triple12) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow does not see the cow.
False
2
inv-proof
[(((triple12) -> rule1))]
("cow" "sees" "cow" "-")
((triple12) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear eats the cow.[(triple1)] The bear is blue.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is not round.[(triple6)] The bear is rough.[(triple5)] The bear likes the cow.[(triple7)] The bear sees the cow.[(triple8 OR ((triple4) -> rule1))] The cow eats the bear.[(triple9)] The cow is blue.[(triple10)] The cow is kind.[(triple11)] The cow is nice.[(triple12)] The cow is rough.[(triple13)] The cow is round.[(triple14)] The cow likes the bear.[(triple15)] The cow sees the bear.[(triple16)] @1: The cow sees the cow.[(((triple12) -> rule1))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is not round.
("bear" "is" "round" "-")
triple6
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear likes the cow.
("bear" "likes" "cow" "+")
triple7
The bear sees the cow.
("bear" "sees" "cow" "+")
triple8
((triple4) -> (rule1 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
triple9
The cow is blue.
("cow" "is" "blue" "+")
triple10
The cow is kind.
("cow" "is" "kind" "+")
triple11
The cow is nice.
("cow" "is" "nice" "+")
triple12
The cow is rough.
("cow" "is" "rough" "+")
triple13
The cow is round.
("cow" "is" "round" "+")
triple14
The cow likes the bear.
("cow" "likes" "bear" "+")
triple15
The cow sees the bear.
("cow" "sees" "bear" "+")
triple16
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple12) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1