The bear chases the cow. The bear is cold. The bear is kind. The bear is nice. The bear is red. The bear is young. The bear does not need the cow. The bear does not see the cow. The cow does not chase the bear. The cow is kind. The cow is nice. The cow is not red. The cow is young. The cow needs the bear. The cow sees the bear. If something sees the cow and the cow chases the bear then the bear is young. If something needs the cow then the cow is young. If something chases the bear and it does not chase the cow then the bear is nice. If something needs the bear and it needs the cow then it is cold. If something is kind and it does not chase the bear then it needs the cow. If something needs the cow and it sees the bear then it needs the bear. If something needs the cow and it sees the bear then it sees the cow. If something chases the bear and it sees the bear then it is young.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The bear does not need the cow.
("bear" "needs" "cow" "-")
The bear does not see the cow.
("bear" "sees" "cow" "-")
The cow does not chase the bear.
("cow" "chases" "bear" "-")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is not red.
("cow" "is" "red" "-")
The cow is young.
("cow" "is" "young" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
If something sees the cow and the cow chases the bear then the bear is young.
((("something" "sees" "cow" "+") ("cow" "chases" "bear" "+")) -> ("bear" "is" "young" "+"))
If something needs the cow then the cow is young.
((("something" "needs" "cow" "+")) -> ("cow" "is" "young" "+"))
If something chases the bear and it does not chase the cow then the bear is nice.
((("something" "chases" "bear" "+") ("something" "chases" "cow" "~")) -> ("bear" "is" "nice" "+"))
If something needs the bear and it needs the cow then it is cold.
((("something" "needs" "bear" "+") ("something" "needs" "cow" "+")) -> ("something" "is" "cold" "+"))
If something is kind and it does not chase the bear then it needs the cow.
((("something" "is" "kind" "+") ("something" "chases" "bear" "~")) -> ("something" "needs" "cow" "+"))
If something needs the cow and it sees the bear then it needs the bear.
((("something" "needs" "cow" "+") ("something" "sees" "bear" "+")) -> ("something" "needs" "bear" "+"))
If something needs the cow and it sees the bear then it sees the cow.
((("something" "needs" "cow" "+") ("something" "sees" "bear" "+")) -> ("something" "sees" "cow" "+"))
If something chases the bear and it sees the bear then it is young.
((("something" "chases" "bear" "+") ("something" "sees" "bear" "+")) -> ("something" "is" "young" "+"))
The bear is young.
True
1
proof
[(triple6)]
("bear" "is" "young" "+")
triple6
The bear is not cold.
False
1
inv-proof
[(triple2)]
("bear" "is" "cold" "-")
triple2
The bear does not need the bear.
Unknown
inv-rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "needs" "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 chases the cow.[(triple1)] The bear does not need the cow.[(triple7)] The bear does not see the cow.[(triple8)] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear is young.[(triple6)] The cow does not chase the bear.[(triple9)] The cow is kind.[(triple10)] The cow is nice.[(triple11)] The cow is not red.[(triple12)] The cow is young.[(triple13 OR ((((triple10 triple9) -> rule5)) -> rule2))] The cow needs the bear.[(triple14 OR ((((triple10 triple9) -> rule5) triple15) -> rule6))] The cow sees the bear.[(triple15)] @1: The cow needs the cow.[(((triple10 triple9) -> rule5))] @2: The cow is cold.[(((triple14 ((triple10 triple9) -> rule5)) -> rule4) OR ((((((triple10 triple9) -> rule5) triple15) -> rule6) ((triple10 triple9) -> rule5)) -> rule4))] The cow sees the cow.[(((((triple10 triple9) -> rule5) triple15) -> rule7))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear does not need the cow.
("bear" "needs" "cow" "-")
triple7
The bear does not see the cow.
("bear" "sees" "cow" "-")
triple8
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The cow does not chase the bear.
("cow" "chases" "bear" "-")
triple9
The cow is kind.
("cow" "is" "kind" "+")
triple10
The cow is nice.
("cow" "is" "nice" "+")
triple11
The cow is not red.
("cow" "is" "red" "-")
triple12
The cow is young.
("cow" "is" "young" "+")
triple13
((((triple10 triple9) -> (rule5 % int2))) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
int2
The cow needs the bear.
("cow" "needs" "bear" "+")
triple14
((((triple10 triple9) -> (rule5 % int2)) triple15) -> (rule6 % int1))
The cow needs the bear.
("cow" "needs" "bear" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
int2
The cow sees the bear.
("cow" "sees" "bear" "+")
triple15
The cow needs the cow.
("cow" "needs" "cow" "+")
((triple10 triple9) -> (rule5 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
((triple14 ((triple10 triple9) -> (rule5 % int2))) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
int2
((((((triple10 triple9) -> (rule5 % int3)) triple15) -> (rule6 % int2)) ((triple10 triple9) -> (rule5 % int3))) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow needs the bear.
("cow" "needs" "bear" "+")
int2
The cow needs the cow.
("cow" "needs" "cow" "+")
int3
The cow sees the cow.
("cow" "sees" "cow" "+")
((((triple10 triple9) -> (rule5 % int2)) triple15) -> (rule7 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
int2