The bear is not blue. The bear is young. The bear likes the cow. The bear sees the cow. The cow does not eat the bear. The cow is blue. The cow is cold. The cow is not nice. The cow does not like the bear. The cow sees the bear. If someone sees the bear then they are not nice. If the bear is blue then the bear likes the cow. If someone sees the bear and they are not cold then the bear likes the cow. If someone sees the bear and the bear does not see the cow then the bear does not eat the cow. If someone eats the bear then the bear eats the cow. If someone sees the cow and they like the cow then they see the bear.
The bear is not blue.
("bear" "is" "blue" "-")
The bear is young.
("bear" "is" "young" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow does not eat the bear.
("cow" "eats" "bear" "-")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is not nice.
("cow" "is" "nice" "-")
The cow does not like the bear.
("cow" "likes" "bear" "-")
The cow sees the bear.
("cow" "sees" "bear" "+")
If someone sees the bear then they are not nice.
((("someone" "sees" "bear" "+")) -> ("someone" "is" "nice" "-"))
If the bear is blue then the bear likes the cow.
((("bear" "is" "blue" "+")) -> ("bear" "likes" "cow" "+"))
If someone sees the bear and they are not cold then the bear likes the cow.
((("someone" "sees" "bear" "+") ("someone" "is" "cold" "~")) -> ("bear" "likes" "cow" "+"))
If someone sees the bear and the bear does not see the cow then the bear does not eat the cow.
((("someone" "sees" "bear" "+") ("bear" "sees" "cow" "~")) -> ("bear" "eats" "cow" "-"))
If someone eats the bear then the bear eats the cow.
((("someone" "eats" "bear" "+")) -> ("bear" "eats" "cow" "+"))
If someone sees the cow and they like the cow then they see the bear.
((("someone" "sees" "cow" "+") ("someone" "likes" "cow" "+")) -> ("someone" "sees" "bear" "+"))
The bear is not blue.
True
1
proof
[(triple1)]
("bear" "is" "blue" "-")
triple1
The bear does not see the cow.
False
1
inv-proof
[(triple4)]
("bear" "sees" "cow" "-")
triple4
The bear sees the bear.
True
3
proof
[(((triple4 triple3) -> rule6))]
("bear" "sees" "bear" "+")
((triple4 triple3) -> (rule6 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear does not see the bear.
False
3
inv-proof
[(((triple4 triple3) -> rule6))]
("bear" "sees" "bear" "-")
((triple4 triple3) -> (rule6 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is not nice.
True
4
proof
[(((((triple4 triple3) -> rule6)) -> rule1))]
("bear" "is" "nice" "-")
((((triple4 triple3) -> (rule6 % int2))) -> (rule1 % int1))
The bear is not nice.
("bear" "is" "nice" "-")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear is nice.
False
4
inv-proof
[(((((triple4 triple3) -> rule6)) -> rule1))]
("bear" "is" "nice" "+")
((((triple4 triple3) -> (rule6 % int2))) -> (rule1 % int1))
The bear is not nice.
("bear" "is" "nice" "-")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear does not eat the cow.
Unknown
inv-rconc
[@1: The bear eats the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "eats" "cow" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "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 cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The bear is not blue.[(triple1)] The bear is young.[(triple2)] The bear likes the cow.[(triple3)] The bear sees the cow.[(triple4)] The cow does not eat the bear.[(triple5)] The cow does not like the bear.[(triple9)] The cow is blue.[(triple6)] The cow is cold.[(triple7)] The cow is not nice.[(triple8 OR ((triple10) -> rule1))] The cow sees the bear.[(triple10)] @1: The bear sees the bear.[(((triple4 triple3) -> rule6))] @2: The bear is not nice.[(((((triple4 triple3) -> rule6)) -> rule1))]
The bear is not blue.
("bear" "is" "blue" "-")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear likes the cow.
("bear" "likes" "cow" "+")
triple3
The bear sees the cow.
("bear" "sees" "cow" "+")
triple4
The cow does not eat the bear.
("cow" "eats" "bear" "-")
triple5
The cow does not like the bear.
("cow" "likes" "bear" "-")
triple9
The cow is blue.
("cow" "is" "blue" "+")
triple6
The cow is cold.
("cow" "is" "cold" "+")
triple7
The cow is not nice.
("cow" "is" "nice" "-")
triple8
((triple10) -> (rule1 % int1))
The cow is not nice.
("cow" "is" "nice" "-")
int1
The cow sees the bear.
("cow" "sees" "bear" "+")
triple10
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple4 triple3) -> (rule6 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is not nice.
("bear" "is" "nice" "-")
((((triple4 triple3) -> (rule6 % int2))) -> (rule1 % int1))
The bear is not nice.
("bear" "is" "nice" "-")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2