The bear chases the cow. The bear is blue. The bear is not cold. The bear is green. The bear is round. The bear is young. The bear needs the cow. The bear visits the cow. The cow chases the bear. The cow is blue. The cow is cold. The cow is round. The cow is young. The cow needs the bear. The cow visits the bear. If the bear does not visit the cow then the bear is blue. If someone is cold then they chase the cow. If someone needs the bear and the bear is not young then they chase the cow. If someone needs the bear then they chase the cow. If someone is blue and they need the bear then they chase the bear. If the cow needs the bear and the cow chases the bear then the cow visits the bear. If someone is cold then they need the bear. If someone is round and they need the cow then the cow chases the bear.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is not cold.
("bear" "is" "cold" "-")
The bear is green.
("bear" "is" "green" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
If the bear does not visit the cow then the bear is blue.
((("bear" "visits" "cow" "~")) -> ("bear" "is" "blue" "+"))
If someone is cold then they chase the cow.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "cow" "+"))
If someone needs the bear and the bear is not young then they chase the cow.
((("someone" "needs" "bear" "+") ("bear" "is" "young" "~")) -> ("someone" "chases" "cow" "+"))
If someone needs the bear then they chase the cow.
((("someone" "needs" "bear" "+")) -> ("someone" "chases" "cow" "+"))
If someone is blue and they need the bear then they chase the bear.
((("someone" "is" "blue" "+") ("someone" "needs" "bear" "+")) -> ("someone" "chases" "bear" "+"))
If the cow needs the bear and the cow chases the bear then the cow visits the bear.
((("cow" "needs" "bear" "+") ("cow" "chases" "bear" "+")) -> ("cow" "visits" "bear" "+"))
If someone is cold then they need the bear.
((("someone" "is" "cold" "+")) -> ("someone" "needs" "bear" "+"))
If someone is round and they need the cow then the cow chases the bear.
((("someone" "is" "round" "+") ("someone" "needs" "cow" "+")) -> ("cow" "chases" "bear" "+"))
The cow is blue.
True
1
proof
[(triple10)]
("cow" "is" "blue" "+")
triple10
The bear is not young.
False
1
inv-proof
[(triple6)]
("bear" "is" "young" "-")
triple6
The bear does not chase the bear.
Unknown
inv-rconc
[@2: The bear chases the bear.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("bear" "chases" "bear" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The bear chases the cow.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple4)] The bear is not cold.[(triple3)] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear needs the cow.[(triple7)] The bear visits the cow.[(triple8)] The cow chases the bear.[(triple9 OR ((triple10 triple14) -> rule5) OR ((triple5 triple7) -> rule8) OR ((triple10 ((triple11) -> rule7)) -> rule5))] The cow is blue.[(triple10)] The cow is cold.[(triple11)] The cow is round.[(triple12)] The cow is young.[(triple13)] The cow needs the bear.[(triple14 OR ((triple11) -> rule7))] The cow visits the bear.[(triple15 OR ((triple14 triple9) -> rule6) OR ((triple14 ((triple10 triple14) -> rule5)) -> rule6) OR ((triple14 ((triple5 triple7) -> rule8)) -> rule6) OR ((((triple11) -> rule7) triple9) -> rule6) OR ((((triple11) -> rule7) ((triple10 triple14) -> rule5)) -> rule6) OR ((((triple11) -> rule7) ((triple5 triple7) -> rule8)) -> rule6) OR ((triple14 ((triple10 ((triple11) -> rule7)) -> rule5)) -> rule6) OR ((((triple11) -> rule7) ((triple10 ((triple11) -> rule7)) -> rule5)) -> rule6))] @1: The cow chases the cow.[(((triple11) -> rule2) OR ((triple14) -> rule4) OR ((((triple11) -> rule7)) -> rule4))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple4
The bear is not cold.
("bear" "is" "cold" "-")
triple3
The bear is round.
("bear" "is" "round" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear needs the cow.
("bear" "needs" "cow" "+")
triple7
The bear visits the cow.
("bear" "visits" "cow" "+")
triple8
The cow chases the bear.
("cow" "chases" "bear" "+")
triple9
((triple10 triple14) -> (rule5 % int1))
The cow chases the bear.
("cow" "chases" "bear" "+")
int1
((triple5 triple7) -> (rule8 % int1))
The cow chases the bear.
("cow" "chases" "bear" "+")
int1
((triple10 ((triple11) -> (rule7 % int2))) -> (rule5 % int1))
The cow chases the bear.
("cow" "chases" "bear" "+")
int1
The cow needs the bear.
("cow" "needs" "bear" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
triple10
The cow is cold.
("cow" "is" "cold" "+")
triple11
The cow is round.
("cow" "is" "round" "+")
triple12
The cow is young.
("cow" "is" "young" "+")
triple13
The cow needs the bear.
("cow" "needs" "bear" "+")
triple14
((triple11) -> (rule7 % int1))
The cow needs the bear.
("cow" "needs" "bear" "+")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
triple15
((triple14 triple9) -> (rule6 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
((triple14 ((triple10 triple14) -> (rule5 % int2))) -> (rule6 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow chases the bear.
("cow" "chases" "bear" "+")
int2
((triple14 ((triple5 triple7) -> (rule8 % int2))) -> (rule6 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow chases the bear.
("cow" "chases" "bear" "+")
int2
((((triple11) -> (rule7 % int2)) triple9) -> (rule6 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow needs the bear.
("cow" "needs" "bear" "+")
int2
((((triple11) -> (rule7 % int3)) ((triple10 triple14) -> (rule5 % int2))) -> (rule6 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow chases the bear.
("cow" "chases" "bear" "+")
int2
The cow needs the bear.
("cow" "needs" "bear" "+")
int3
((((triple11) -> (rule7 % int3)) ((triple5 triple7) -> (rule8 % int2))) -> (rule6 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow chases the bear.
("cow" "chases" "bear" "+")
int2
The cow needs the bear.
("cow" "needs" "bear" "+")
int3
((triple14 ((triple10 ((triple11) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow chases the bear.
("cow" "chases" "bear" "+")
int2
The cow needs the bear.
("cow" "needs" "bear" "+")
int3
((((triple11) -> (rule7 % int3)) ((triple10 ((triple11) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow chases the bear.
("cow" "chases" "bear" "+")
int2
The cow needs the bear.
("cow" "needs" "bear" "+")
int3
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple11) -> (rule2 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
((triple14) -> (rule4 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
((((triple11) -> (rule7 % int2))) -> (rule4 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow needs the bear.
("cow" "needs" "bear" "+")
int2